Alessandro Coglio

According to our database, Alessandro Coglio authored at least 33 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Compositional Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric Smith, Collin Chin, Pranav Gaddamadugu, Michel Dellepere

IACR Cryptol. ePrint Arch., 2023

Formal Verification of Zero-Knowledge Circuits.

Alessandro Coglio, Eric McCarthy, Eric W. Smith

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2022

A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2.

Alessandro Coglio

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java.

Alessandro Coglio

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

Syntheto: A Surface Language for APT and ACL2.

Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2021

Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.

Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy, Eric Smith

IACR Cryptol. ePrint Arch., 2021

Towards Model-Based Intent-Driven Adaptive Software.

Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Isomorphic Data Type Transformations.

Alessandro Coglio, Stephen J. Westfold

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

Ethereum's Recursive Length Prefix in ACL2.

Alessandro Coglio

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

Comprehensive Java Metadata Tracking for Attack Detection and Repair.

Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

2018

Adding 32-bit Mode to the ACL2 Model of the x86 ISA.

Alessandro Coglio, Shilpi Goel

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java.

Alessandro Coglio

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars.

Alessandro Coglio

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

A Versatile, Sound Tool for Simplifying Definitions.

Alessandro Coglio, Matt Kaufmann, Eric Whitman Smith

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

2016

AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks.

Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2016

2015

Second-Order Functions and Theorems in ACL2.

Alessandro Coglio

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover.

Eric Smith, Alessandro Coglio

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2014

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.

Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai

IEEE Softw., 2014

Pop-Refinement.

Alessandro Coglio

Arch. Formal Proofs, 2014

2006

Two Demonstrations of Economical EAL5+ Development for Tokeneer.

John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.

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

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Checking Access to Protected Members in the Java Virtual Machine.

Alessandro Coglio

J. Object Technol., 2005

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.

Alessandro Coglio, Cordell Green

Proceedings of the Verified Software: Theories, 2005

2004

Simple verification technique for complex Java bytecode subroutines.

Alessandro Coglio

Concurr. Pract. Exp., 2004

Formal Techniques for Java-Like Programs (FTfJP).

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003

Improving the official specification of Java bytecode verification.

Alessandro Coglio

Concurr. Comput. Pract. Exp., 2003

2001

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise

J. Symb. Comput., 2001

Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions.

Alessandro Coglio, Allen Goldberg

Concurr. Comput. Pract. Exp., 2001

2000

A formal specification of Java^TM class loading.

Zhenyu Qian, Allen Goldberg, Alessandro Coglio

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Composing and Controlling Search in Reasoning Theories Using Mappings.

Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott

Proceedings of the Frontiers of Combining Systems, 2000

1999

The control component of open mechanized reasoning systems.

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1998

An Architecture for Emotional Agents.

Antonio Camurri, Alessandro Coglio

IEEE Multim., 1998

The OMRS project: state of the art.

Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998