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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Microsoft Research
labStructName_s : ATMEL Secure Microcontroller Solutions, Zone Industrielle
Page :
sorted by
Image document

Alternating Simulation and IOCO

 Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1
Image document

Anonygator: Privacy and Integrity Preserving Data Aggregation

 Krishna P. N. Puttaswamy , Ranjita Bhagwan , Venkata N. Padmanabhan
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.85-106, ⟨10.1007/978-3-642-16955-7_5⟩
Conference papers hal-01055270v1
Image document

Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines

 Alexandre Venelli
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.17-30, ⟨10.1007/978-3-642-12368-9_2⟩
Conference papers hal-01056070v1
Image document

dFault: Fault Localization in Large-Scale Peer-to-Peer Systems

 Pawan Prakash , Ramana Rao Kompella , Venugopalan Ramasubramanian , Ranveer Chandra
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.252-272, ⟨10.1007/978-3-642-16955-7_13⟩
Conference papers hal-01055280v1
Page :