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

Filter your results

2 results
Image document

Analyzing Interactions of Asynchronously Communicating Software Components

Tevfik Bultan
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.1-4, ⟨10.1007/978-3-642-38592-6_1⟩
Conference papers hal-01515245v1
Image document

Generalizing PIR for Practical Private Retrieval of Public Data

Shiyuan Wang , Divyakant Agrawal , Amr Abbadi
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.1-16, ⟨10.1007/978-3-642-13739-6_1⟩
Conference papers hal-01056681v1