192 search results - page 11 / 39 » Non-Deterministic Games and Program Analysis: An Application... |
117
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
AI
2010
Springer
14 years 6 months ago
2010
Springer
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...
101
click to vote
ASPLOS
2010
ACM
15 years 1 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...