Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Software bugs
• Software testing
• Computer network security
• Debuggers
• Common Weakness Enumeration
• Memory debugger
• Memory safety
• Application security
• Frama-C

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Data types
• Computer programming
• Primitive types
• Formal languages
• Formal methods
• ANSI/ISO C Specification Language
• C
• String
• Frama-C
• Permutation

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control

DIMVA Dear Prospective Sponsor. Since 2004 and 2009 the annual international IT-Security conferences DIMVA (Detection of Intrusions and Malware & Vulnerability Assessment) and ESSOS (Engineering Secure Software and Syste

Source URL: itsec.cs.uni-bonn.de

• Sponsor
• Value-added tax
• TED
• Culture
• Terminology
• Human behavior

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Contrast Security Announces Microsoft Ventures and AXA Strategic Ventures as Global Strategic Investors Investments signal criticality of securing software applications in the Cloud and DevOps Los Altos, Calif. — Decem

Source URL: www.axavp.com

• Computing
• Technology
• Software development
• AXA
• CAC 40
• DevOps
• Application security
• Microsoft
• M12
• Computer security

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

A Clairvoyant Approach to Evaluating Software (In)Security Bhushan Jain Chia-Che Tsai Donald E. Porter

Source URL: www.chiachetsai.com

TESTING CRYPTOGRAPHIC SECURITY IN YOUR APPLICATIONS Cryptosense provides state-of-the-art analysis software to help some of the world’s largest organizations eliminate the vulnerabilities caused by crypto misuse in the

Source URL: cryptosense.com