1894 search results - page 98 / 379 » A TLA Proof System |
120
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
108
click to vote
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
We present an Identity Based Encryption (IBE) system that is fully secure in the standard model and has several advantages over previous such systems
116
Voted
CSL
2003
Springer
15 years 6 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
134
click to vote
TYPES
1995
Springer
15 years 4 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
115
Voted
IACR
2011
14 years 13 days ago
2011
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains semantically secure even in the presence of leakage, but onl...