Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450381260
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using dynamically inferred invariants to analyze program runtime complexity

2020 ◽  
Author(s):  
ThanhVu Nguyen ◽  
Didier Ishimwe ◽  
Alexey Malyshev ◽  
Timos Antonopoulos ◽  
Quoc-Sang Phan

Comparing formal models of IoT app coordination analysis

2020 ◽  
Author(s):  
Clay Stevens ◽  
Mohannad Alhanahnah ◽  
Qiben Yan ◽  
Hamid Bagheri
Keyword(s):  
Formal Models

scholarly journals Towards automated, provenance-driven security audit for git-based repositories: applied to germany's corona-warn-app: vision paper

2020 ◽  
Author(s):  
Tim Sonnekalb ◽  
Thomas S. Heinze ◽  
Lynn von Kurnatowski ◽  
Andreas Schreiber ◽  
Jesus M. Gonzalez-Barahona ◽  
...  
Keyword(s):  
Security Audit
Load More ...
Sign in / Sign up

Export Citation Format

Share Document