Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Department of Mathematics [Rikkyo]
labStructName_s : Dipartimento di Informatica [Torino]
Image document

Packed Homomorphic Encryption Based on Ideal Lattices and Its Application to Biometrics

Masaya Yasuda , Takeshi Shimoyama , Jun Kogure , Kazuhiro Yokoyama , Takeshi Koshiba
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.55-74
Conference papers hal-01506566v1
Image document

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

Viviana Bono , Luca Padovani , Andrea Tosatto
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.83-98, ⟨10.1007/978-3-642-38592-6_7⟩
Conference papers hal-01515251v1