A Verified Implementation of the DPLL Algorithm in Dafny by Cezar-Constantin Andrici, Ștefan Ciobâcă

Subjects: Get full text

Model Checking Longitudinal Control in Vehicle Platoon Systems by Cong Peng, Marcello M. Bonsangue, Zhongwei Xu

Subjects: Get full text

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures by Mert Özkaya

Subjects: Get full text

Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets by Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding

Subjects: Get full text

VERICA - Verification of Combined Attacks by Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu

Subjects: Get full text

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification by Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi

Subjects: “…Formal verification…”
Get full text

VERICA - Verification of Combined Attacks by Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu

Subjects: Get full text

Restructuring Dynamical Systems for Inductive Verification by Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Subjects: Get full text

An Anonymous Authentication Scheme Based on Chinese Residue Theorem in Wireless Body Area Networks by Jian Zhong, Tao Zhao, Ling Xiong, Ruixing Lin, Zexin Wang

Subjects: Get full text

An Improved WBSN Key-Agreement Protocol Based on Static Parameters and Hash Functions by Behrooz Khadem, Amin Masoumi Suteh, Musheer Ahmad, Ahmed Alkhayyat, Mohammad Sabzinejad Farash, Hany S. Khalifa

Subjects: Get full text

Efficient Private Circuits with Precomputation by Weijia Wang, Fanjie Ji, Juelin Zhang, Yu Yu

Subjects: Get full text

Security protocols analysis including various time parameters by Sabina Szymoniak

Subjects: Get full text

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores by Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata

Get full text

Universality of Büchi Automata: Analysis With Graph Neural Networks by Christophe Stammet, Ulrich Ultes-Nitsche, Andreas Fischer

Subjects: Get full text

Hierarchical Verification for the BPMN Design Model Using State Space Analysis by C. Dechsupa, W. Vatanawood, A. Thongtak

Subjects: “…Formal verification…”
Get full text

Novel 5G Authentication Protocol to Improve the Resistance Against Active Attacks and Malicious Serving Networks by An Braeken, Madhusanka Liyanage, Pardeep Kumar, John Murphy

Subjects: Get full text

MSI-A: An Energy Efficient Approximated Cache Coherence Protocol by Anant Saraswat, Kumar Abhishek, Hiteshwar Kumar Azad, S. Shitharth

Subjects: Get full text

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions by Fujun Wang, Zining Cao, Lixing Tan, Hui Zong

Subjects: Get full text

VP_TT: A value propagation based equivalence checker for testability transformations by Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa

Subjects: Get full text

A Gate-Level Information Leakage Detection Framework of Sequential Circuit Using Z3 by Qizhi Zhang, Liang Liu, Yidong Yuan, Zhe Zhang, Jiaji He, Ya Gao, Yao Li, Xiaolong Guo, Yiqiang Zhao

Subjects: Get full text