22 search results - page 5 / 5 » Using ProVerif to Analyze Protocols with Diffie-Hellman Expo... |
BMCBI
2010
13 years 8 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure wireless communications is a challenging problem due to the shared nature of the wireless medium. Most existing security protocols apply cryptographic techniques for bit sc...