![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Leonardo Alt
Person information
- affiliation: Ethereum Foundation, Zug, Switzerland
- affiliation (former): University of Lugano (USI), Lugano, Switzerland
- affiliation (former): Federal University of Uberlândia (UFU), Uberlândia, MG, Brazil
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c16]Konstantin Britikov
, Ilia Zlatkin
, Grigory Fedyukovich
, Leonardo Alt
, Natasha Sharygina
:
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) 2024: 466-479 - 2023
- [j2]Rodrigo Otoni
, Matteo Marescotti
, Leonardo Alt
, Patrick Eugster
, Antti E. J. Hyvärinen, Natasha Sharygina
:
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26(2): 15:1-15:28 (2023) - 2022
- [c15]Leonardo Alt, Martin Blicha
, Antti E. J. Hyvärinen, Natasha Sharygina
:
SolCMC: Solidity Compiler's Model Checker. CAV (1) 2022: 325-338 - [c14]Lucas Clemente Vella, Leonardo Alt:
On Satisfiability of Polynomial Equations over Large Prime Fields. SMT 2022: 114-127 - 2021
- [i1]Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira:
A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher. CoRR abs/2106.04777 (2021) - 2020
- [c13]Matteo Marescotti, Rodrigo Otoni
, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194
2010 – 2019
- 2019
- [j1]Pavel Jancík, Jan Kofron
, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
:
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55(1): 33-71 (2019) - 2018
- [c12]Leonardo Alt, Christian Reitwießner:
SMT-Based Verification of Solidity Smart Contracts. ISoLA (4) 2018: 376-388 - 2017
- [c11]Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi
, Natasha Sharygina
:
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD 2017: 39-46 - [c10]Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
LRA Interpolants from No Man's Land. Haifa Verification Conference 2017: 195-210 - [c9]Leonardo Alt, Sepideh Asadi
, Hana Chockler
, Karine Even-Mendoza
, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Natasha Sharygina
:
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - 2016
- [c8]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Jan Kofron
, Natasha Sharygina
:
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c7]Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
:
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT 2016: 547-553 - 2015
- [c6]Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
:
Flexible Interpolation for Efficient Model Checking. MEMICS 2015: 11-22 - [c5]Leonardo Alt, Grigory Fedyukovich
, Antti E. J. Hyvärinen, Natasha Sharygina
:
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE 2015: 1-18 - [p1]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. Validation of Evolving Software 2015: 73-82 - 2013
- [c4]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich
, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR 2013: 683-693 - 2010
- [c3]Gina M. B. Oliveira, Luiz G. A. Martins
, Leonardo S. Alt, Giordano B. Ferreira:
Exhaustive Evaluation of Radius 2 Toggle Rules for a Variable-Length Cryptographic Cellular Automata-Based Model. ACRI 2010: 275-286 - [c2]Gina M. B. Oliveira, Luiz G. A. Martins, Leonardo S. Alt, Giordano B. Ferreira:
A Cellular Automata-Based Cryptographic Model with a Variable-Length Ciphertext. CSC 2010: 19-25 - [c1]Gina M. B. Oliveira, Luiz G. A. Martins
, Giordano B. Ferreira, Leonardo S. Alt:
Secret Key Specification for a Variable-Length Cryptographic Cellular Automata Model. PPSN (2) 2010: 381-390
Coauthor Index
aka: Antti E. J. Hyvärinen
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint