author- Procedia CS (2011)
- J. Autom. Reasoning 48(2):133-134 (2012)
- CRYPTO, volume 196 of Lecture Notes in Computer Science, page 242-268. Springer, (1984)
- EUROCRYPT, volume 950 of Lecture Notes in Computer Science, page 320-331. Springer, (1994)
- ACM Conference on Computer and Communications Security, page 235-244. ACM, (2001)
- PervasiveHealth, page 399-403. IEEE, (2011)
- Dagstuhl Reports 1(8):53-66 (2011)
- CoRR (2011)
- CoRR (2011)
- J. Log. Program. 26(2):113-131 (1996)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- Encyclopedia of Cryptography and Security 2nd Ed., Springer, (2011)
- IEEE T. Geoscience and Remote Sensing 44(4):801-805 (2006)
- IEEE Trans. Software Eng. 13(2):289-292 (1987)
- CHEMICAL COMMUNICATIONS (2005)
- STM, volume 6710 of Lecture Notes in Computer Science, page 163-178. Springer, (2010)
