5722 search results - page 663 / 1145 » Security Function Interactions |
171
click to vote
ITP
2010
15 years 11 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
199
Voted
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
248
click to vote
EUROCRYPT
2000
Springer
15 years 11 months ago
2000
Springer
In a series of papers Patarin proposes new efficient public key systems. A very interesting proposal, called 2-Round Public Key System with S Boxes, or 2R, is based on the difficul...
176
click to vote
NSDI
2008
15 years 9 months ago
2008
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...
222
Voted
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
Utility computing is a service provisioning model which will provide adaptive, flexible and simple access to computing resources, enabling a pay-per-use model for computing simila...