456 search results - page 2 / 92 » A Proof System for Abstract Non-interference |
CTRS
1994
15 years 28 days ago
1994
43
Voted
LOGCOM
2010
14 years 7 months ago
2010
107
Voted
CADE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
104
click to vote
EUROCRYPT
2012
Springer
12 years 11 months ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...