718 search results - page 118 / 144 » Operational Semantics of Security Protocols |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...
ECOOP
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
POPL
1998
ACM
14 years 2 days ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...