Alessandro Coglio

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 16

Top Topics

Formal Verification

Injection Attacks

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alessandro Coglio, Eric McCarthy, Eric W. Smith
Formal Verification of Zero-Knowledge Circuits. CoRR (2023)
Alessandro Coglio, Sol Swords
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications. CoRR (2023)
Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere
Compositional Formal Verification of Zero-Knowledge Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Alessandro Coglio
A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java. ACL2 (2022)
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
Alessandro Coglio
A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2. ACL2 (2022)
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
Towards Model-Based Intent-Driven Adaptive Software. ISoLA (2021)
Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications. IACR Cryptol. ePrint Arch. 2021 (2021)
Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin Rinard
Comprehensive Java Metadata Tracking for Attack Detection and Repair. DSN (2020)
Alessandro Coglio, Stephen J. Westfold
Isomorphic Data Type Transformations. ACL2 (2020)
Alessandro Coglio
Ethereum's Recursive Length Prefix in ACL2. ACL2 (2020)
Alessandro Coglio
A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java. ACL2 (2018)
Alessandro Coglio
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars. VSTTE (2018)
Alessandro Coglio, Shilpi Goel
Adding 32-bit Mode to the ACL2 Model of the x86 ISA. ACL2 (2018)
Alessandro Coglio, Matt Kaufmann, Eric Whitman Smith
A Versatile, Sound Tool for Simplifying Definitions. ACL2 (2017)
Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard
AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. DIMVA (2016)
Alessandro Coglio
Second-Order Functions and Theorems in ACL2. ACL2 (2015)
Eric Smith, Alessandro Coglio
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover. VSTTE (2015)
Alessandro Coglio
Pop-Refinement. Arch. Formal Proofs 2014 (2014)
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31 (2) (2014)
Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann
Two Demonstrations of Economical EAL5+ Development for Tokeneer. ISSSE (2006)
Alessandro Coglio, Cordell Green
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE (2005)
Alessandro Coglio
Checking Access to Protected Members in the Java Virtual Machine. J. Object Technol. 4 (8) (2005)
Alessandro Coglio
Simple verification technique for complex Java bytecode subroutines. Concurr. Pract. Exp. 16 (7) (2004)
Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops (2004)
Alessandro Coglio
Improving the official specification of Java bytecode verification. Concurr. Comput. Pract. Exp. 15 (2) (2003)
Alessandro Coglio, Allen Goldberg
Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurr. Comput. Pract. Exp. 13 (13) (2001)
Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32 (4) (2001)
Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS (2000)
Zhenyu Qian, Allen Goldberg, Alessandro Coglio
class loading. OOPSLA (2000)
Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
The control component of open mechanized reasoning systems. Calculemus (1999)
Antonio Camurri, Alessandro Coglio
An Architecture for Emotional Agents. IEEE Multim. 5 (4) (1998)
Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio
The OMRS project: state of the art. WRLA (1998)