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 (ACRI, 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 (CSC, 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 (PPSN (2), 2010)

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 (LPAR, 2013)

Optimizing Function Summaries Through Interpolation. - Simone Fulvio Rollini; Leonardo Alt; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Natasha Sharygina (Validation of Evolving Software, 2015)

Flexible Interpolation for Efficient Model Checking. - Antti E. J. Hyvärinen; Leonardo Alt; Natasha Sharygina (MEMICS, 2015)

A Proof-Sensitive Approach for Small Propositional Interpolants. - Leonardo Alt; Grigory Fedyukovich; Antti E. J. Hyvärinen; Natasha Sharygina (VSTTE, 2015)

PVAIR: Partial Variable Assignment InterpolatoR. - Pavel Jancík; Leonardo Alt; Grigory Fedyukovich; Antti E. J. Hyvärinen; Jan Kofron; Natasha Sharygina (FASE, 2016)

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. - Antti E. J. Hyvärinen; Matteo Marescotti; Leonardo Alt; Natasha Sharygina (SAT, 2016)

Duality-based interpolation for quantifier-free equalities and uninterpreted functions. - Leonardo Alt; Antti Eero Johannes Hyvärinen; Sepideh Asadi; Natasha Sharygina (FMCAD, 2017)

LRA Interpolants from No Man's Land. - Leonardo Alt; Antti E. J. Hyvärinen; Natasha Sharygina (Haifa Verification Conference, 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 (TACAS (2), 2017)

SMT-Based Verification of Solidity Smart Contracts. - Leonardo Alt; Christian Reitwießner (ISoLA (4), 2018)

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)

Accurate Smart Contract Verification Through Direct Modelling. - Matteo Marescotti; Rodrigo Otoni; Leonardo Alt; Patrick Eugster; Antti E. J. Hyvärinen; Natasha Sharygina (ISoLA (3), 2020)

SolCMC: Solidity Compiler's Model Checker. - Leonardo Alt; Martin Blicha; Antti E. J. Hyvärinen; Natasha Sharygina (CAV (1), 2022)

On Satisfiability of Polynomial Equations over Large Prime Fields. - Lucas Clemente Vella; Leonardo Alt (SMT, 2022)

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., 2023)

SolTG: A CHC-Based Solidity Test Case Generator. - Konstantin Britikov; Ilia Zlatkin; Grigory Fedyukovich; Leonardo Alt; Natasha Sharygina (CAV (1), 2024)

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 (Nat. Comput., 2025)