3909 search results - page 707 / 782 » Extreme Model Checking |
101
Voted
TCAD
2010
14 years 9 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
113
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
153
Voted
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
124
Voted
AOSD
2012
ACM
13 years 10 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
159
Voted
CTRSA
2012
Springer
13 years 10 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...