29 search results - page 4 / 6 » Inductive trace properties for computational security |
CCS
2008
ACM
13 years 8 months ago
2008
ACM
Network operators are reluctant to share traffic data due to security and privacy concerns. Consequently, there is a lack of publicly available traces for validating and generaliz...
GLVLSI
2005
IEEE
13 years 11 months ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
ESOP
2008
Springer
13 years 8 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
SIGCOMM
2006
ACM
14 years 3 days ago
2006
ACM
This paper studies the network-level behavior of spammers, including: IP address ranges that send the most spam, common spamming modes (e.g., BGP route hijacking, bots), how persi...
CCS
2011
ACM
12 years 6 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...