Verified Cryptographic Code for Everybody

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	CAV (33. : 2021 : Online) Computer aided verification ; Part 1
1. Verfasser:	Boston, Brett (VerfasserIn)
Weitere Verfasser:	Breese, Samuel (VerfasserIn), Dodds, Joey (VerfasserIn), Dodds, Mike (VerfasserIn), Huffman, Brian (VerfasserIn), Petcher, Adam (VerfasserIn), Stefanescu, Andrei (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Algebraic Program Analysis	2021	Kincaid, Zachary
NNrepair: Constraint-Based Repair of Neural Network Classifiers	2021	Usman, Muhammad
Programmable Program Synthesis	2021	D’Antoni, Loris
Robustness Verification of Quantum Classifiers	2021	Guan, Ji
Scalable Polyhedral Verification of Recurrent Neural Networks	2021	Ryou, Wonryong
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning	2021	Ivanov, Radoslav
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models	2021	Armstrong, Alasdair
Delay-Bounded Scheduling Without Delay!	2021	Johnson, Andrew
GenMC: A Model Checker for Weak Memory Models	2021	Kokologiannakis, Michalis
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness	2021	Zhang, Zhenya
A Temporal Logic for Asynchronous Hyperproperties	2021	Baumeister, Jan
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference	2021	Girol, Guillaume
Constraint-Based Relational Verification	2021	Unno, Hiroshi
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning	2021	Cauli, Claudia
Adapting Behaviors via Reactive Synthesis	2021	Amram, Gal
Balancing Automation and Control for Formal Verification of Microprocessors	2021	Goel, Shilpi
Automated Safety Verification of Programs Invoking Neural Networks	2021	Christakis, Maria
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability	2021	Tran, Hoang-Dung
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming	2021	Wang, Qiuye
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems	2021	Mover, Sergio

Alle Artikel auflisten