MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Practical memory safety for C

Periklis Akritidis
University of Cambridge
SWS Colloquium

Periklis Akritidis is a PhD candidate in the Computer Lab
at the University of Cambridge, UK. His research interests
include systems and computer and network security.
His advisor is Dr. Steven Hand.
SWS, RG1  
Expert Audience
English

Date, Time and Location

Monday, 6 September 2010
11:00
60 Minutes
G26
206
Kaiserslautern

Abstract

C facilitates high performance execution and low-level systems programming, but the lack of memory safety undermines security and reliability; for example, memory corruption bugs can breach security, and faults in kernel extensions can bring down the entire operating system. Memory safe languages, however, are unlikely to displace C in the near future, and solutions currently in use offer inadequate protection. Comprehensive proposals, on the other hand, are either too slow for practical use, or break backwards compatibility by requiring source code porting or generating incompatible binary code. My talk will present backwards-compatible solutions to prevent dangerous memory corruption in C programs at a low cost.

Contact

Bettina Bennett
0631-93039602
--email hidden

Video Broadcast

Yes
Saarbrücken
E1 5
5th floor
passcode not visible
logged in users only

Bettina Peden-Bennett, 08/18/2010 15:15 -- Created document.