576 search results - page 37 / 116 » Implementing a secure setuid program |
121
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
114
Voted
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
136
Voted
TCC
2005
Springer
15 years 7 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
116
Voted
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
136
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...