82 search results - page 17 / 17 » Selected Methods of Model Checking Using SAT and SMT-Solvers |
CCS
2005
ACM
14 years 3 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
BMCBI
2007
13 years 10 months ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...