2673 search results - page 344 / 535 » Guided Static Analysis |
128
click to vote
CCS
2004
ACM
15 years 10 months 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...
153
click to vote
SCOPES
2004
Springer
15 years 10 months 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...
155
click to vote
CODES
2003
IEEE
15 years 10 months 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...
152
Voted
ICDAR
2003
IEEE
15 years 10 months 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...
141
Voted
PASTE
2010
ACM
15 years 10 months 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...