3 search results - page 1 / 1 » Boxing clever with IOMMUs |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
JCS
2006
13 years 4 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
COMPGEOM
2001
ACM
13 years 8 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...