2673 search results - page 344 / 535 » Guided Static Analysis |
177
click to vote
CCS
2004
ACM
16 years 14 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
202
click to vote
SCOPES
2004
Springer
16 years 13 days ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
209
Voted
CODES
2003
IEEE
16 years 11 days ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
207
Voted
ICDAR
2003
IEEE
16 years 11 days ago
2003
IEEE
Postcorrection of OCR-results for text documents is usually based on electronic dictionaries. When scanning texts from a specific thematic area, conventional dictionaries often m...
177
click to vote
PASTE
2010
ACM
16 years 5 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...