Alessandro Armando

• Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
• Frontiers of Combining Systems
• La soglia dell'arte
• Automated Reasoning
• Designing Shougang
• La soglia dell'arte
• Memory and the City
• Next Generation CERTs
• Teoria del progetto architettonico