zweidimensionales bewegtes Bild
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
- Location
-
Hannover TIB
- Extent
-
1385MB, 00:34:34:03 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)
- Event
-
Veröffentlichung
- (who)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (when)
-
2022-01-01
- Contributor
-
Eilers, Marco
Su, Zhendong (Moderation)
- DOI
-
10.5446/60330
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Eilers, Marco
- Su, Zhendong (Moderation)
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Time of origin
- 2022-01-01
Other Objects (12)
Abstract Execution: Automatically Proving Infinitely Many Programs
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Termination of C Programs with Lists
Verification of sequential and concurrent programs
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Proving termination of probabilistic recursive programs via SMT-solving
Stratified commutativity in verification algorithms for concurrent programs
Abstract and Concrete Scenarios in Concurrent Engineering
Abstract Execution: Automatically Proving Infinitely Many Programs
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Termination of C Programs with Lists
Verification of sequential and concurrent programs
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Proving termination of probabilistic recursive programs via SMT-solving
Stratified commutativity in verification algorithms for concurrent programs
Abstract and Concrete Scenarios in Concurrent Engineering
Abstract Execution: Automatically Proving Infinitely Many Programs
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Termination of C Programs with Lists
Verification of sequential and concurrent programs
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Proving termination of probabilistic recursive programs via SMT-solving
Stratified commutativity in verification algorithms for concurrent programs