symbolic verification Latest Research Papers

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

10.1109/eurosp51992.2021.00042 ◽

2021 ◽

Author(s):

Karthikeyan Bhargavan ◽

Abhishek Bichhawat ◽

Quoc Huy Do ◽

Pedram Hosseyni ◽

Ralf Kusters ◽

...

Keyword(s):

Cryptographic Protocol ◽

Symbolic Verification

Download Full-text

Automated Symbolic Verification of Telegram’s MTProto 2.0

Proceedings of the 18th International Conference on Security and Cryptography ◽

10.5220/0010549601850197 ◽

2021 ◽

Author(s):

Marino Miculan ◽

Nicola Vitacolonna

Keyword(s):

Symbolic Verification

Download Full-text

Automated Symbolic Verification of Telegram’s MTProto 2.0

10.5220/0010549600002998 ◽

2021 ◽

Author(s):

Marino Miculan ◽

Nicola Vitacolonna

Keyword(s):

Symbolic Verification

Download Full-text

Symbolic verification of message passing interface programs

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering ◽

10.1145/3377811.3380419 ◽

2020 ◽

Cited By ~ 2

Author(s):

Hengbiao Yu ◽

Zhenbang Chen ◽

Xianjin Fu ◽

Ji Wang ◽

Zhendong Su ◽

...

Keyword(s):

Message Passing ◽

Message Passing Interface ◽

Symbolic Verification

Download Full-text

Survey on automated symbolic verification and its application for synthesising cyber-physical systems

IET Cyber-Physical Systems Theory & Applications ◽

10.1049/iet-cps.2018.5006 ◽

2020 ◽

Vol 5 (1) ◽

pp. 1-24 ◽

Cited By ~ 3

Author(s):

Lucas C. Cordeiro ◽

Eddie B. de Lima Filho ◽

Iury V. Bessa

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Symbolic Verification

Download Full-text

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-030-62822-2_10 ◽

2020 ◽

pp. 160-176

Author(s):

Hengbiao Yu ◽

Zhenbang Chen ◽

Chun Huang ◽

Ji Wang

Keyword(s):

Symbolic Verification

Download Full-text

Symbolic Verification of Regular Properties for Java Programs

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3364452.33644561 ◽

2019 ◽

Vol 44 (4) ◽

pp. 17-17 ◽

Cited By ~ 1

Author(s):

Zhenbang Chen ◽

Hengbiao Yu ◽

Ji Wang ◽

Wei Dong

Keyword(s):

Java Programs ◽

Symbolic Verification

Download Full-text

Symbolic Verification of Distance Bounding Protocols

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_7 ◽

2019 ◽

pp. 149-174 ◽

Cited By ~ 3

Author(s):

Alexandre Debant ◽

Stéphanie Delaune

Keyword(s):

Symbolic Verification

Download Full-text

Extending DIVINE with Symbolic Verification Using SMT

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17502-3_14 ◽

2019 ◽

pp. 204-208 ◽

Cited By ~ 4

Author(s):

Henrich Lauko ◽

Vladimír Štill ◽

Petr Ročkai ◽

Jiří Barnat

Keyword(s):

Symbolic Verification

Download Full-text

Symbolic Verification of Cache Side-Channel Freedom

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2018.2858402 ◽

2018 ◽

Vol 37 (11) ◽

pp. 2812-2823 ◽

Cited By ~ 5

Author(s):

Sudipta Chattopadhyay ◽

Abhik Roychoudhury

Keyword(s):

Side Channel ◽

Symbolic Verification

Download Full-text

symbolic verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Automated Symbolic Verification of Telegram’s MTProto 2.0

Automated Symbolic Verification of Telegram’s MTProto 2.0

Symbolic verification of message passing interface programs

Survey on automated symbolic verification and its application for synthesising cyber-physical systems

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

Symbolic Verification of Regular Properties for Java Programs

Symbolic Verification of Distance Bounding Protocols

Extending DIVINE with Symbolic Verification Using SMT

Symbolic Verification of Cache Side-Channel Freedom

Export Citation Format

symbolic verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Automated Symbolic Verification of Telegram’s MTProto 2.0

Automated Symbolic Verification of Telegram’s MTProto 2.0

Symbolic verification of message passing interface programs

Survey on automated symbolic verification and its application for synthesising cyber-physical systems

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

Symbolic Verification of Regular Properties for Java Programs

Symbolic Verification of Distance Bounding Protocols

Extending DIVINE with Symbolic Verification Using SMT

Symbolic Verification of Cache Side-Channel Freedom

symbolic verification
Recently Published Documents