Citing Articles

WASAI: uncovering vulnerabilities in Wasm smart contracts2022
Push-button synthesis of watch companions for Android apps2022
Quantifying permissiveness of access control policies2022
Hiding critical program components via ambiguous translation2022
RunTime-assisted convergence in replicated data types2022
LEGenT: Localizing Errors and Generating Testcases for CS12022
Projection-compliant database generationProceedings of the VLDB Endowment2022
A Survey on String Constraint SolvingACM Computing Surveys20232
Better Counterexamples for DafnyLecture Notes in Computer Science2022
P1OVD: Patch-Based 1-Day Out-of-Bounds Vulnerabilities Detection Tool for Downstream BinariesElectronics (Switzerland)2022
High Assurance Software for Financial Regulation and Business PlatformsLecture Notes in Computer Science20221
Synthesis of state machine models20200
Bounded Verification of State Machine Models2020
Design and Implementation of VxWorks System Vulnerability Mining Framework Based on Dynamic Symbol ExecutionAdvances in Intelligent Systems and Computing2021
Protocol Analysis with TimeLecture Notes in Computer Science20202
SMT-based verification of temporal properties for component-based software systemsIFAC-PapersOnLine2020
Incremental Methods for Checking Real-Time ConsistencyLecture Notes in Computer Science20201
Our Approach to Formal Verification of Token Economy ModelsCommunications in Computer and Information Science20201
RustHorn: CHC-based Verification for Rust ProgramsACM Transactions on Programming Languages and Systems20211
Have I Been Exploited?Lecture Notes in Computer Science2020
Principled Unearthing of TCP Side Channel Vulnerabilities20194
Automated verification of query equivalence using satisfiability modulo theoriesProceedings of the VLDB Endowment201910
Applying an SMT Solver to Coverage-Driven Design VerificationIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences2018
Co-Design and Verification of an Available File SystemLecture Notes in Computer Science20184