Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 10 of 187 results for Secure Coding

Collection | August 2018 - Collection SCALe Collection

The CERT Division's Source Code Analysis Laboratory (SCALe) offers conformance testing of C and Java language software systems against the CERT C Secure Coding Standard and the CERT Oracle Secure Coding Standard for Java.

Brochure | September 2018 - Brochure Summer 2018 Edition of the Secure Coding Newsletter

The team announces job openings and discusses its activities, including the release of SCALe on GitHub.

Presentation | September 2018 - Presentation How Can I Enforce the SEI CERT C Coding Standard Using ... By David Svoboda

In this webcast, David Svoboda and Arthur Hicken review the SEI CERT C Coding Standard and why it is necessary.

Collection | December 2017 - Collection Secure Coding Newsletter Collection

The CERT Secure Coding Team describes plans to inform the community about CERT secure coding efforts and related standards.

Collection | October 2017 - Collection Four Secure Coding Publications

Presents research and recommended practices for secure coding, preventing common exploits, and prioritizing security alerts.

Collection | November 2017 - Collection Secure Coding Tools and Advancements Publications

The documents in this collection describe tools useful to secure coding developed or advanced by the SEI.

Brochure | August 2017 - Brochure SCALe: Evaluating Source Code for Adherence to Secure ...

SCALe help analysts be more efficient and effective at auditing source code for security flaws.

Brochure | December 2017 - Brochure Fall 2017 Edition of the Secure Coding Newsletter

The CERT Secure Coding team requests contributors for Ada guidelines it's developing, describes its collaborations with MITRE, and announces its open research positions.

Webinar | November 2016 - Webinar From Secure Coding to Secure Software By Mark Sherman, Robert Schiela

In this webinar, we discussed how you can improve your organization's secure coding capabilities.

Conference Paper | November 2016 - Conference Paper Automated Code Repair Based on Inferred Specifications By William Klieber, William Snavely

In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.

Refine