GaudisCrypt
Attic
DetermFootprint
ProgramRange
CounterExamples
All
ExtendSupProbe
FV
IndistinguishableVsGlob
LeastLens
LensRangeComplDisjoint
MiscRangeStuff
Examples
Pedersen
Commitment
Hiding
Pedersen
FV
Language
Footprint
Granularity
Lens
ModuleExpressions
ModuleExpressionsTest
Modules (
file
)
Modules
InductiveFunctions
ModulesTest
Programs
Semantics
SubProbability
Lib
Birthday
Enc
HashedOTP
RO (
file
)
RO
Basic
CollisionResistance
FullEager
GlobEndpointExample
GlobTransfer
InstantiateCommon
OneWayness
OneWayness_GameHop (
file
)
OneWayness_GameHop
Definitions
Game1
Game2
GuessExperiment
UpToBad
OracleLoop
QueryHit
ROCouplingEquiv
ROEquiv
Switching
TransferConvert
TransferInstantiate
Logic
EagerProc
EagerRhl
EquivModuloLens
PRHL (
file
)
PRHL
Clients
SchemaInnerEquation
Core
Coupling
Lenses
Loops
Prhl
Tactics
UpToBad
PRHL2
PRHL2Demo
TransferBy
Misc
ProbProgramRange
Syntax
ExpressionSyntax
ExpressionSyntaxTest
ModuleSyntax
ModuleSyntaxTest
ProgramSyntax
ProgramSyntaxTest
Syntax
WeakestPreconditions