Citing Articles

WASAI: uncovering vulnerabilities in Wasm smart contracts20220
Push-button synthesis of watch companions for Android apps2022
Quantifying permissiveness of access control policies20220
Hiding critical program components via ambiguous translation20221
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 Surveys20234
Better Counterexamples for DafnyLecture Notes in Computer Science20222
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-PapersOnLine20200
Incremental Methods for Checking Real-Time ConsistencyLecture Notes in Computer Science20202
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 Systems20213
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 Endowment20194
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 Science20183