SP
2008
IEEE
13 years 4 months ago
2008
IEEE
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
We present a novel eavesdropping technique for spying at a distance on data that is displayed on an arbitrary computer screen, including the currently prevalent LCD monitors. Our ...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
Network intrusion detection and prevention systems are vulnerable to evasion by attackers who craft ambiguous traffic to breach the defense of such systems. A normalizer is an inl...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
The automatic patch-based exploit generation problem is: given a program P and a patched version of the program P′ , automatically generate an exploit for the potentially unknow...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...