Lambda the Ultimate
USENIX - Security '02 - Technical Sessions
started 10/6/2002; 12:42:16 PM - last post 10/6/2002; 2:45:43 PM
Ehud Lamm
- USENIX - Security '02 - Technical Sessions
10/6/2002; 12:42:16 PM (reads: 399, responses: 1)
USENIX - Security '02 - Technical Sessions
Related to programming languages:
Using CQUAL for Static Analysis of Authorization Hook Placement
Detecting Manipulated Remote Call Streams
Type-Assisted Dynamic Buffer Overflow Detection
Secure Execution via Program Shepherding
A Flexible Containment Mechanism for Executing Untrusted Code
Posted to
general
by
Ehud Lamm
on 10/6/02; 12:43:15 PM
Ethan Aubin
- Re: USENIX - Security '02 - Technical Sessions
10/6/2002; 2:45:43 PM (reads: 379, responses: 0)
In a security related link, check out
"Kernel Mode Linux" (
http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/
). The paper is on using typed assembly language to guarantee safety of a process running in kernel mode.
USENIX - Security '02 - Technical Sessions
