Sciweavers

124
Voted
DSD
2004
IEEE
126views Hardware» more  DSD 2004»
15 years 7 months ago
Boolean Minimizer FC-Min: Coverage Finding Process
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...
Petr Fiser, Hana Kubatova
101
Voted
CCS
2006
ACM
15 years 7 months ago
Supporting location-based conditions in access control policies
Claudio Agostino Ardagna, Marco Cremonini, Ernesto...
145
Voted
CCS
2006
ACM
15 years 7 months ago
Design space and analysis of worm defense strategies
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
David Brumley, Li-Hao Liu, Pongsin Poosankam, Dawn...
112
Voted
DSD
2004
IEEE
97views Hardware» more  DSD 2004»
15 years 7 months ago
Scene Management Models and Overlap Tests for Tile-Based Rendering
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...
Iosif Antochi, Ben H. H. Juurlink, Stamatis Vassil...
105
Voted
CCS
2006
ACM
15 years 7 months ago
Provably secure password-based authentication in TLS
Michel Abdalla, Emmanuel Bresson, Olivier Chevassu...