UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: D | K | L | P
Number of items: 5.


Desmedt, Y.; Lange, T.; (2006) Pairing based threshold cryptography improving on Libert-Quisquater and Baek-Zheng. Financial Cryptography and Data Security , 4107 (2006) pp. 154-159. 10.1007/11889663_12.


Kacprzak, M.; Lomuscio, A.; Niewiadomski, A.; Penczek, W.; Raimondi, F.; Szreter, M.; (2006) Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol. Fundamenta Informaticae , 72 (1-3) pp. 215-234. Green open access


Laur, S.; Lipmaa, H.; Mielikainen, T.; (2006) Cryptographically private support vector machines. In: Eliassi-Rad, T. and Ungar, L. and Craven, M. and Gunopulos, D., (eds.) Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD 06). (pp. pp. 618-624). The Association for Computing Machinery: New York, US.

Lomuscio, A.; Raimondi, F.; Wozna, B.; (2006) Verification of the TESLA protocol in MCMAS-X. In: Lindemann, G. and Schlingloff, H., (eds.) Proceedings of Concurrency, Specification and Programming (CS&P) 2006. (pp. pp. 255-267). Humboldt University Press: Wandlitz, Germany. Green open access


Pecheur, C.; Raimondi, F.; (2006) Symbolic model checking of logics with actions. In: Edelkamp, S. and Lomuscio, A., (eds.) Model Checking and Artifical Intelligence: 4th Workshop, MoChArt IV, Riva del garda, Italy, August 29, 2006, Revised Selected and Invited Papers. (pp. pp. 113-128). Springer Verlag: Berlin/ Heidelberg, Germany. Green open access

This list was generated on Sun Jun 17 01:30:14 2018 BST.