Leonardo Alt

According to our database, Leonardo Alt authored at least 20 papers between 2010 and 2024.

Collaborative distances:

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

2024

SolTG: A CHC-Based Solidity Test Case Generator.

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

A Solicitous Approach to Smart Contract Verification.

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

ACM Trans. Priv. Secur., May, 2023

2022

On Satisfiability of Polynomial Equations over Large Prime Fields.

Lucas Clemente Vella, Leonardo Alt

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

SolCMC: Solidity Compiler's Model Checker.

Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher.

Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira

CoRR, 2021

2020

Accurate Smart Contract Verification Through Direct Modelling.

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Exploiting partial variable assignment in interpolation-based model checking.

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Formal Methods Syst. Des., 2019

2018

SMT-Based Verification of Solidity Smart Contracts.

Leonardo Alt, Christian Reitwießner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

LRA Interpolants from No Man's Land.

Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2017

Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.

Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

PVAIR: Partial Variable Assignment InterpolatoR.

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

A Proof-Sensitive Approach for Small Propositional Interpolants.

Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

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

Flexible Interpolation for Efficient Model Checking.

Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015

Optimizing Function Summaries Through Interpolation.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

2013

PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2010

Secret Key Specification for a Variable-Length Cryptographic Cellular Automata Model.

Gina M. B. Oliveira, Luiz G. A. Martins, Giordano B. Ferreira, Leonardo S. Alt

Proceedings of the Parallel Problem Solving from Nature, 2010

A Cellular Automata-Based Cryptographic Model with a Variable-Length Ciphertext.

Gina M. B. Oliveira, Luiz G. A. Martins, Leonardo S. Alt, Giordano B. Ferreira

Proceedings of the 2010 International Conference on Scientific Computing, 2010

Exhaustive Evaluation of Radius 2 Toggle Rules for a Variable-Length Cryptographic Cellular Automata-Based Model.

Gina M. B. Oliveira, Luiz G. A. Martins, Leonardo S. Alt, Giordano B. Ferreira

Proceedings of the Cellular Automata, 2010