Taxonomic Search: franz OR frachetti

Results 1 - 10 of 17

Results

profile
forum

Visible to the public Extended Deadline - FMICS'15: 20th International Workshop onFormal Methods for Industrial Critical Systems

CALL FOR PAPERS (incl. deadline extension due to popular demand)

FMICS 2015
20th International Workshop on Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)

22-23 June 2015, Oslo, Norway

In co-location with FM 2015: 20th International Symposium on Formal Methods

page

Visible to the public Compiler Security

Compiler Security


Much of software security focuses on applications, but compiler security should also be an area of concern. Compilers can "correct" secure coding in the name of efficient processing. The works cited here look at various approaches and issues in compiler security. These articles appeared in the first half of 2014.

forum

Visible to the public CfP: FMICS'15: 20th International Workshop on Formal Methods forIndustrial Critical Systems

FIRST CALL FOR PAPERS

FMICS 2015
20th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)

22-23 June 2015, Oslo, Norway

In co-location with FM 2015: 20th International Symposium on Formal Methods

page

Visible to the public Cross Site Scripting

Cross Site Scripting

page

Visible to the public SQL Injections

SQL Injections

file

Visible to the public Automated Code Diversification

ABSTRACT

We have been investigating compiler-generated software diversity as a defense mechanism against software attacks. This approach is in many ways similar to biodiversity in nature.