1599 search results - page 107 / 320 » Program Analysis for Security and Privacy |
108
Voted
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
130
Voted
ICISS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
135
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
137
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
The broadcast and tetherless nature of wireless networks and the widespread deployment of Wi-Fi hotspots makes it easy to remotely locate a user by observing her wireless signals....
121
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...