- Kanchanjot Kaur Phokela, Kapil Singi, Kuntal Dey, Vikrant Kaulgud, Adam P. Burden:
Framework to Assess Policy Driven Security Misconfiguration Risks in Cloud Native Application. SecDev 2022: 63-64 - Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden:
How far are German companies in improving security through static program analysis tools? SecDev 2022: 7-15 - Zhenpeng Shi, Nikolay Matyunin, Kalman Graffi, David Starobinski:
Uncovering Product Vulnerabilities with Threat Knowledge Graphs. SecDev 2022: 84-90 - Kelly Shortridge:
From Lemons to Peaches: Improving Security ROI through Security Chaos Engineering. SecDev 2022: 59-60 - Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes:
Industrial Strength Static Detection for Cryptographic API Misuses. SecDev 2022: 61-62 - IEEE Secure Development Conference, SecDev 2022, Atlanta, GA, USA, October 18-20, 2022. IEEE 2022, ISBN 978-1-6654-7182-4 [contents]
- 2021
- Jie Zhou, Michael Hicks, Yudi Yang, John Criswell:
Tutorial: Making C Programs Safer with Checked C. SecDev 2021: 13-14 - Salman Ahmed, Long Cheng, Hans Liljestrand, N. Asokan, Danfeng Daphne Yao:
Tutorial: Investigating Advanced Exploits for System Security Assurance. SecDev 2021: 3-4 - Carmen Cheh, Binbin Chen:
Analyzing OpenAPI Specifications for Security Design Issues. SecDev 2021: 15-22 - Partha Das Chowdhury, Joseph Hallett, Nikhil Patnaik, Mohammad Tahaei, Awais Rashid:
Developers Are Neither Enemies Nor Users: They Are Collaborators. SecDev 2021: 47-55 - Guillaume Cluzel, Kyriakos Georgiou, Yannick Moy, Clément Zeller:
Layered Formal Verification of a TCP Stack. SecDev 2021: 86-93 - John Criswell, Ethan Johnson, Colin Pronovost:
Tutorial: LLVM for Security Practitioners. SecDev 2021: 9-10 - Douglas Everson, Long Cheng:
Compressing Network Attack Surfaces for Practical Security Analysis. SecDev 2021: 23-29 - Sungmin Lee, Yoonkyo Jung, Jaehyun Lee, Byoungyoung Lee, Ted "Taekyoung" Kwon:
Android Remote Unlocking Service using Synthetic Password: A Hardware Security-preserving Approach. SecDev 2021: 63-70 - David Lee, Brandon Steed, Yi Liu, Onyeka Ezenwoye:
Tutorial: A Lightweight Web Application for Software Vulnerability Demonstration. SecDev 2021: 5-6 - Jason Lowdermilk, Simha Sethumadhavan:
Towards Zero Trust: An Experience Report. SecDev 2021: 79-85 - Shravan Narayan, Craig Disselkoen, Deian Stefan:
Tutorial: Sandboxing (unsafe) C code with RLBox. SecDev 2021: 11-12 - Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi:
Enclave-Based Secure Programming with JE. SecDev 2021: 71-78 - Akond Rahman, Farhat Lamia Barsha, Patrick Morrison:
Shhh!: 12 Practices for Secret Management in Infrastructure as Code. SecDev 2021: 56-62 - Michael Reeves, Dave Jing Tian, Antonio Bianchi, Z. Berkay Celik:
Towards Improving Container Security by Preventing Runtime Escapes. SecDev 2021: 38-46 - Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson:
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev 2021: 1-2 - Laurens Sion, Dimitri Van Landuyt, Koen Yskout, Stef Verreydt, Wouter Joosen:
Automated Threat Analysis and Management in a Continuous Integration Pipeline. SecDev 2021: 30-37 - David Svoboda:
Hands-on Tutorial: How Exploitable is Insecure C Code? SecDev 2021: 7-8 - Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry:
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. SecDev 2021: 94-102 - IEEE Secure Development Conference, SecDev 2021, Atlanta, GA, USA, October 18-20, 2021. IEEE 2021, ISBN 978-1-6654-3170-5 [contents]
- 2020
- Jaime C. Acosta, Anjon Basak, Christopher Kiekintveld, Nandi Leslie, Charles A. Kamhoua:
Cybersecurity Deception Experimentation System. SecDev 2020: 34-40 - Andrew Buttner, Richard Piazza, Rushi Purohit, Alec Summers:
A Secure Code Review Retrospective. SecDev 2020: 31-32 - John Criswell:
Tutorial: LLVM for Security Practitioners. SecDev 2020: 1 - Junhan Duan, Yudi Yang, Jie Zhou, John Criswell:
Refactoring the FreeBSD Kernel with Checked C. SecDev 2020: 15-22 - Douglas Everson, Long Cheng:
Network Attack Surface Simplification for Red and Blue Teams. SecDev 2020: 74-80