456 search results - page 2 / 92 » A Proof System for Abstract Non-interference |
CTRS
1994
13 years 8 months ago
1994
LOGCOM
2010
13 years 3 months ago
2010
CADE
2001
Springer
14 years 5 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...
EUROCRYPT
2012
Springer
11 years 7 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
13 years 11 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...