Search results for: Luca Compagna
Lecture Notes in Computer Science > Automated Reasoning > Automata, Specification, Verification, and Logics of Programs > 663-669
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 210-225
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 1. Model-Based Security I > 29-42
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 30-45
Advances in Information Security > Security and Dependability for Ambient Intelligence > Developing SERENITY Aware Applications and S&D solutions > 143-163
IFIP — The International Federation for Information Processing > Future Challenges in Security and Privacy for Academia and Industry > Authentication > 68-79
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 187-204
Computers & Security > 2013 > 33 > Complete > 41-58
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 353-388