Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kinan Dak Albab, Rawane Issa, Andrei Lapets, Peter Flockhart, Lucy Qin, Ira Globus-Harris |
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF. |
SecDev |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vivek V. Menon, Gaurav Kolhe, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Yinghua Hu, Peter A. Beerel, Pierluigi Nuzzo 0002 |
System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation. |
SecDev |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Remo Schweizer, Stephan Neuhaus |
Downright: A Framework and Toolchain for Privilege Handling. |
SecDev |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lok K. Yan, Benjamin Price, Michael Zhivich, Brian Caswell, Christopher Eagle, Michael Frantzen, Holt Sorenson, Michael Thompson, Timothy Vidas, Jason Wright, Vernon Rivet, Samuel Colt VanWinkle, Clark Wood |
BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Toby C. Murray, Paul C. van Oorschot |
BP: Formal Proofs, the Fine Print and Side Effects. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Altaz Valani |
Rethinking Secure DevOps Threat Modeling: The Need for a Dual Velocity Approach. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hang Hu 0002, Peng Peng, Gang Wang 0011 |
Towards Understanding the Adoption of Anti-Spoofing Protocols in Email Systems. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Charles Weir, Lynne Blair, Ingolf Becker, M. Angela Sasse, James Noble 0001 |
Light-Touch Interventions to Improve Software Development Security. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tim McBride, Anne Townsend, Michael Ekstrom, Lauren Lusty, Julian Sexton |
Data Integrity: Recovering from Ransomware and Other Destructive Events. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Gil, Hamed Okhravi, Howard E. Shrobe |
There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyu Hu, Jie Zhou 0022, Spyridoula Gravani, John Criswell |
Transforming Code to Drop Dead Privileges. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | J. Sukarno Mertoguno, Ryan Craven, Daniel Koller, Matthew Mickelson |
Reducing Attack Surface via Executable Transformation. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dhillon, Vishal Mishra |
Applied Threat Driven Security Verification. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds, Stephen Magill, Aaron Tomb |
Tutorial: Continuous Verification of Critical Software. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raghudeep Kannavara, Jacob Vangore, William Roberts, Marcus Lindholm, Priti Shrivastav |
Automating Threat Intelligence for SDL. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen |
A Lingua Franca for Security by Design. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue |
Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chengjun Cai, Huayi Duan, Cong Wang 0001 |
Tutorial: Building Secure and Trustworthy Blockchain Applications. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018 |
SecDev |
2018 |
DBLP BibTeX RDF |
|
1 | Sazzadur Rahaman, Na Meng 0001, Danfeng Yao |
Tutorial: Principles and Practices of Secure Crypto Coding in Java. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Darius Foo, Ming Yi Ang, Jason Yeo, Asankhaya Sharma |
SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Archibald Samuel Elliott, Andrew Ruef, Michael Hicks 0001, David Tarditi |
Checked C: Making C Safe by Extension. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Will Snavely, William Klieber, Ryan Steele, David Svoboda, Andrew Kotov |
Detecting Leaks of Sensitive Data Due to Stale Reads. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Glumich, Juanita Riley, E. Paul Ratazzi, Amanda Ozanam |
BP: Integrating Cyber Vulnerability Assessments Earlier into the Systems Development Lifecycle: A Methodology to Conduct Early-Cycle Cyber Vulnerability Assessments. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Theisen, Hyunwoo Sohn, Dawson Tripp, Laurie A. Williams |
BP: Profiling Vulnerabilities on the Attack Surface. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amir Rahmati, Earlence Fernandes, Kevin Eykholt, Atul Prakash 0001 |
Tyche: A Risk-Based Permission Model for Smart Homes. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jason H. Li, Douglas Schafer, David Whelihan, Stefano Lassini, Nicholas Evancich, Kyung Joon Kwak, Michael Vai, Haley Whitman |
Designing Secure and Resilient Embedded Avionics Systems. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Tang |
Best Practice for Developing Secure and Trusted Enterprise Storage & Computing Products. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vaishnavi Mohan, Lotfi Ben Othmane, Andre Kres |
BP: Security Concerns and Best Practices for Automation of Software Deployment Processes: An Industrial Case Study. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Yasar |
Experiment: Sizing Exposed Credentials in GitHub Public Repositories for CI/CD. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Monrose, Jan Werner |
Tutorial: Parry and RIPOSTE: Honing Cybersecurity Skills with Challenge-Based Exercises. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Goodman, Gustavo Grieco, Alex Groce |
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Arbelaez, Sallie Edwards, Kevin Littlefield, Sue Wang, Kangmin Zheng |
Securing Wireless Infusion Pumps. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Heymann, Barton P. Miller |
Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | François Gauthier 0001, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan |
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. |
SecDev |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine |
Empirical Studies on the Security and Usability Impact of Immutability. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert C. Seacord |
Java Deserialization Vulnerabilities and Mitigations. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Edwards, Ameer Kashani, Gopalakrishnan Iyer |
Evaluation of Software Vulnerabilities in Vehicle Electronic Control Units. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Carlsten, Reed Sturtevant, Chris Wysopal, Andreas Kuehlmann, Robert K. Cunningham |
Panel: Building a Business around Secure Development. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Imano Williams, Xiaohong Yuan |
Creating Abuse Cases Based on Attack Patterns: A User Study. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sazzadur Rahaman, Danfeng Yao |
Program Analysis of Cryptographic Implementations for Security. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yasemin Acar, Christian Stransky, Dominik Wermke, Charles Weir, Michelle L. Mazurek, Sascha Fahl |
Developers Need Support, Too: A Survey of Security Advice for Software Developers. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Komail Dharsee, Ethan Johnson, John Criswell |
A Software Solution for Hardware Vulnerabilities. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24-26, 2017 |
SecDev |
2017 |
DBLP BibTeX RDF |
|
1 | James A. Kupsch |
Automated Assessment Tools and the Software Assurance Marketplace (SWAMP). |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Ganz, Sean Peisert |
ASLR: How Robust Is the Randomness? |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jim Whitmore, William Tobin |
Improving Attention to Security in Software Design with Analytics and Cognitive Techniques. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fish Wang, Yan Shoshitaishvili |
Angr - The Next Generation of Binary Analysis. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raghudeep Kannavara, Gilad Gressel, Damilare Fagbemi, Richard Chow |
A Machine Learning Approach to SDL. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Durand, Michael Bar-Sinai, Mercè Crosas |
Securing Dataverse with an Adapted Command Design Pattern. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lori Flynn, David Svoboda, William Snavely |
Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prashant Anantharaman, Michael C. Millian, Sergey Bratus, Meredith L. Patterson |
Input Handling Done Right: Building Hardened Parsers Using Language-Theoretic Security. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Isis Rose, Nicholas Felts, Alexander George, Emily Miller, Max Planck |
Something Is Better Than Everything: A Distributed Approach to Audit Log Anomaly Detection. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Scott Ruoti, Kent E. Seamons, Daniel Zappala |
Layering Security at Global Control Points to Secure Unmodified Software. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan |
FaCT: A Flexible, Constant-Time Programming Language. |
SecDev |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Md. Endadul Hoque, Cristina Nita-Rotaru |
Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuzhe Tang, Wenqing Zhuang |
Towards Building Practical Secure Multi-party Databases. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Crane, Andrei Homescu, Per Larsen |
Code Randomization: Haven't We Solved This Problem Yet? |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nirupama Talele, Divya Muthukumaran, Frank Capobianco, Trent Jaeger, Gang Tan |
Maintaining Authorization Hook Placements Across Program Versions. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Svoboda |
Beyond errno: Error Handling in "C". |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amir Rahmati, Earlence Fernandes, Atul Prakash 0001 |
Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike |
Hints for High-Assurance Cyber-Physical System Design. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Nord, Ipek Ozkaya |
Software Vulnerabilities, Defects, and Design Flaws: A Technical Debt Perspective. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nivedita Murthy |
Codiscope SecureAssist™ - The Developer's Security Assistant. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark Mazumder, Timothy M. Braje |
Safe Client/Server Web Development with Haskell. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chad Heitzenrater, Andrew Simpson |
Software Security Investment: The Right Amount of a Good Thing. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Derek Bruening, Qin Zhao |
Using Dr. Fuzz, Dr. Memory, and Custom Dynamic Tools for Secure Development. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Svoboda, Lori Flynn, Will Snavely |
Static Analysis Alert Audits: Lexicon & Rules. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras |
Toward Semantic Cryptography APIs. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eunsuk Kang |
Design Space Exploration for Security. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | William Klieber, Will Snavely |
Automated Code Repair Based on Inferred Specifications. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Vitek |
Auditing Code for Security Vulnerabilities with CodeSonar. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx |
Security Guarantees for the Execution Infrastructure of Software Applications. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matt McCutchen, Daniel Song, Shuo Chen 0001, Shaz Qadeer |
Self-Verifying Execution (Position Paper). |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brian Pfretzschner, Lotfi Ben Othmane |
Dependency-Based Attacks on Node.js. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Yasar, Kiriakos Kontostathis |
Secure DevOps Process and Implementation. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Lapets, Nikolaj Volgushev, Azer Bestavros, Frederick Jansen, Mayank Varia |
Secure MPC for Analytics as a Web Application. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alina Oprea, Ata Turk, Cristina Nita-Rotaru, Orran Krieger |
MOSAIC: A Platform for Monitoring and Security Analytics in Public Clouds. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Falcon Momot, Sergey Bratus, Sven M. Hallberg, Meredith L. Patterson |
The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, David Aspinall 0001, Lenka Mareková |
Certified Lightweight Contextual Policies for Android. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yasemin Acar, Sascha Fahl, Michelle L. Mazurek |
You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mable Benjamin |
Secure Coding for Real-Time Embedded Systems: Cert Run-Time Profile for Ada. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kerschbaumer |
Enforcing Content Security by Default within Web Browsers. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Weichselbaum, Michele Spagnuolo, Artur Janc |
Adopting Strict Content Security Policy for XSS Protection. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Li 0001, Alina Oprea |
Operational Security Log Analytics for Enterprise Breach Detection. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Ballman, David Svoboda |
Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric L. McCorkle |
A Case for Combining Industrial Pragmatics with Formal Methods. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bill Baloglu |
How to find and fix software vulnerabilities with coverity static analysis. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Moyer, Karishma Chadha, Robert K. Cunningham, Nabil Schear, Warren Smith, Adam Bates 0001, Kevin R. B. Butler, Frank Capobianco, Trent Jaeger, Patrick T. Cable II |
Leveraging Data Provenance to Enhance Cyber Resilience. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kosta Serebryany |
Continuous Fuzzing with libFuzzer and AddressSanitizer. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Cybersecurity Development, SecDev 2016, Boston, MA, USA, November 3-4, 2016 |
SecDev |
2016 |
DBLP BibTeX RDF |
|
1 | Kyle Hogan, Noah Luther, Nabil Schear, Emily Shen, David Stott, Sophia Yakoubov, Arkady Yerukhimovich |
Secure Multiparty Computation for Cooperative Cyber Risk Assessment. |
SecDev |
2016 |
DBLP DOI BibTeX RDF |
|