Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefano Calzavara
Logical Foundations of Secure Resource Management in Protocol Implementations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Logical Foundations of Computer Science
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logical Information Theory: New Logical Foundations for Information Theory
Logic Journal of the IGPL
Philosophy
Logical Foundations of Relational Data Exchange
SIGMOD Record
Information Systems
Software
Verifying Authentication Protocol Implementations
Foundations of Secure Interactive Computing
Secure Implementations for Typed Session Abstractions
20th IEEE Computer Security Foundations Symposium (CSF'07)
Logical and Value-Semantic Foundations of the Worldview
INNOVATIVE SOLUTIONS IN MODERN SCIENCE
Verifying Sensor Network Security Protocol Implementations
Secure Sockets Layer Protocol.
Journal of Computer Science and Cybernetics
