Leonardo Alt

18 papers A 1B 3Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher.
Nat. Comput.
Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2024 — conf
SolTG: A CHC-Based Solidity Test Case Generator.
CAV (1)
Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
2023 J jnl
A Solicitous Approach to Smart Contract Verification.
ACM Trans. Priv. Secur.
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2022 — conf
On Satisfiability of Polynomial Equations over Large Prime Fields.
SMT
Lucas Clemente Vella, Leonardo Alt
2022 — conf
SolCMC: Solidity Compiler's Model Checker.
CAV (1)
Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
2021 J jnl
A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher.
CoRR
Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2020 — conf
Accurate Smart Contract Verification Through Direct Modelling.
ISoLA (3)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2019 J jnl
Exploiting partial variable assignment in interpolation-based model checking.
Formal Methods Syst. Des.
Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2018 — conf
SMT-Based Verification of Solidity Smart Contracts.
ISoLA (4)
Leonardo Alt, Christian Reitwießner
2017 B conf
Duality-based interpolation for quantifier-free equalities and uninterpreted functions.
FMCAD
Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
2017 — conf
HiFrog: SMT-based Function Summarization for Software Verification.
TACAS (2)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017 — conf
LRA Interpolants from No Man's Land.
Haifa Verification Conference
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
2016 A conf
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.
SAT
Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
2016 B conf
PVAIR: Partial Variable Assignment InterpolatoR.
FASE
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2015 — conf
A Proof-Sensitive Approach for Small Propositional Interpolants.
VSTTE
Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2015 — conf
Flexible Interpolation for Efficient Model Checking.
MEMICS
Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
2015 — ch.
Optimizing Function Summaries Through Interpolation.
Validation of Evolving Software
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2013 B conf
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
LPAR
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina