Lukás Zaoral

According to our database, Lukás Zaoral authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).

Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek

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

2023

The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects.

Lukás Zaoral, Antonin Dufka, Petr Svenda

Proceedings of the Smart Card Research and Advanced Applications, 2023

2022

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek

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