Items where Subject is "Conferences [OLD] > IEEE Computer Security Foundations Symposium"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: A | B
Number of items at this level: 6.

A

Arapinis, Myrto and Ritter, Eike and Ryan, Mark D.
(2011) StatVerif: Verification of Stateful Processes.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium.
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

B

Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007) Causality-based Abstraction of Multiplicity in Security Protocols.
In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Grochulla, Martin and Hriţcu, Cătălin and Maffei, Matteo
(2009) Achieving Security Despite Compromise Using Zero-knowledge.
In: Proceedings of 22nd IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2008) Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus.
In: Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre
(2007) Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.
In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Unruh, Dominique
(2008) Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
In: 21st IEEE Computer Security Foundations Symposium, CSF 2008.
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

This list was generated on Sat Sep 22 00:02:31 2018 CEST.