IMDEA Software Institute

icon indicating a website link http://software.imdea.org/

icon location Campus Montegancedo s/n 28223, Pozuelo de Alarcon, Madrid, Spain icon location Madrid Institute for Advanced Studies in Software Development Technologies

Results 6 repositories owned by IMDEA Software Institute

htt

66
Stars
5
Forks
Watchers

Hoare Type Theory

verified publisher icon imdea-software

fcsl-pcm

25
Stars
12
Forks
Watchers

Partial Commutative Monoids

verified publisher icon imdea-software

legosnark

24
Stars
3
Forks
Watchers

C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.

verified publisher icon imdea-software

LLVM_Instrumentation_Pass

18
Stars
7
Forks
Watchers

verified publisher icon imdea-software

verifying-constant-time

30
Stars
12
Forks
Watchers

verified publisher icon imdea-software

homomorphic-authentication-library

19
Stars
2
Forks
Watchers

HAL: A Library for Homomorphic Authentication

verified publisher icon imdea-software