Publications
A Solicitous Approach to Smart Contract Verification,
, ACM Transactions on Privacy and Security, (2022)
Exploiting partial variable assignment in interpolation-based model checking.,
, Formal Methods in System Design, (2019)
SolTG: A CHC-based Solidity Test Case Generator,
, Computer Aided Verification, (2024)
SolCMC: Solidity Compiler’s Model Checker,
, CAV, Haifa, Isreal, (2022)
PVAIR: Partial Variable Assignment InterpolatoR,
, FASE2016, (2016)
A Proof-Sensitive Approach for Small Propositional Interpolants,
, VSTTE 2015, (2015)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification,
, Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)
LRA Interpolants from No Man's Land,
, Haifa Verification Conference (HVC), (2017)
HiFrog: SMT-based Function Summarization for Software Verification,
, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
Flexible Interpolation for Efficient Model Checking,
, MEMICS 2016, (2016)
Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions,
, 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) , TU Wien, Vienna, Austria,, (2017)
Accurate Smart Contract Verification through Direct Modelling,
, ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)