4609 search results - page 872 / 922 » Automatic Generation of Sigma-Protocols |
100
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
120
click to vote
EWSN
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We target application domains where the behavior of animals or humans is monitored using wireless sensor network (WSN) devices. The code on these devices is updated frequ...
113
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...