1599 search results - page 144 / 320 » Program Analysis for Security and Privacy |
123
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
141
click to vote
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Mashups are new Web 2.0 applications that seamlessly combine contents from multiple heterogeneous data sources into one integrated browser environment. The hallmark of these appli...
135
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
131
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
— Node compromise is a serious threat in wireless sensor networks. An adversary can use compromised nodes to inject false data into the network forging events to deceive the base...
130
click to vote
SP
2007
IEEE
15 years 10 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...