Best Practices For Securing Algorand Smart Contracts
Invited Talk, Algorand Decipher Event (Decipher'21), Miami, FL, USA
Talks
See my CV for a complete list of talks.
Selected Invited Talks
Statistical Model Checking and Quantitative Analysis of Security Protocols
Invited Talk, Protocol eXchange Meeting, National Cryptologic Museum, Annapolis Junction, MD
An Introduction to Rewriting Logic and the Maude Tool
Invited Talk, PL Club Seminar Series, University of Pennsylvania, Philadelphia, PA
Rewriting-based Formal Modeling and Analysis of Timed Distributed Services
Invited Talk, CS Seminar Series, Carnegie Mellon University – Qatar, Doha, Qatar
Selected Conference Presentations
On Security Analysis of Periodic Systems: Expressiveness and Complexity
Conference Talk, The 7th International Conference on Information Systems Security and Privacy (ICISSP'21), Vienna, Austria
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Conference Talk, The 1st Workshop on Formal Methods for Blockchains (FMBC’19), Porto, Portugal
Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies
Conference Talk, The 1st Workshop on Formal Methods for Blockchains (FMBC’19), Porto, Portugal
Resource-Bounded Intruders in Denial of Service Attacks
Conference Talk, The 32nd IEEE Computer Security Foundations Symposium (CSF’19), Hoboken, NJ, USA
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols
Conference Talk, The 2018 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC @ CCS’18), Toronto, ON, Canada
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Conference Talk, The 15th Workshop on Foundations of Computer Security (FCS’18), Oxford, UK
Towards Formal Verification of Orchestration Computations Using the K Framework
Conference Talk, The 20th International Symposium on Formal Methods (FM’15), Oslo, Norway
PVESTA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
Conference Talk, Algebra and Coalgebra in Computer Science (CALCO’11), Winchester, UK