SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
The problem of security against timing based traffic analysis in multihop networks is considered in this work. In particular, the relationship between the level of anonymity prov...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Despite the rapid adoption of Voice over IP (VoIP), its security implications are not yet fully understood. Since VoIP calls may traverse untrusted networks, packets should be enc...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
— Applications such as VoIP need to provide anonymity to clients while maintaining low latency to satisfy quality of service (QoS) requirements. Existing solutions for providing ...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Eavesdropping on electronic communication is usually prevented by using cryptography-based mechanisms. However, these mechanisms do not prevent one from obtaining private informat...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...