# Alessandro Coglio

According to our database

Collaborative distances:

^{1}, Alessandro Coglio authored at least 33 papers between 1998 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

IACR Cryptol. ePrint Arch., 2023

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.

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.

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

2021

IACR Cryptol. ePrint Arch., 2021

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

2020

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

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

2018

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

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

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

2017

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

2016

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

2015

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.

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.

IEEE Softw., 2014

Arch. Formal Proofs, 2014

2006

Two Demonstrations of Economical EAL5+ Development for Tokeneer.

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

Proceedings of the Generative Programming and Component Engineering, 2006

2005

J. Object Technol., 2005

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

Proceedings of the Verified Software: Theories, 2005

2004

Concurr. Pract. Exp., 2004

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

2003

Concurr. Comput. Pract. Exp., 2003

2001

J. Symb. Comput., 2001

Concurr. Comput. Pract. Exp., 2001

2000

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

Proceedings of the Frontiers of Combining Systems, 2000

1999

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1998

IEEE Multim., 1998

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