Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642335358, 9783642335365

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

High-Level Executable Specifications of Distributed Algorithms

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_11 ◽

2012 ◽

pp. 95-110 ◽

Cited By ~ 8

Author(s):

Yanhong A. Liu ◽

Scott D. Stoller ◽

Bo Lin

Keyword(s):

Distributed Algorithms ◽

Executable Specifications ◽

High Level

Download Full-text

Scalable Byzantine Agreement with a Random Beacon

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_25 ◽

2012 ◽

pp. 253-265 ◽

Cited By ~ 1

Author(s):

Olumuyiwa Oluwasanmi ◽

Jared Saia

Keyword(s):

Byzantine Agreement

Download Full-text

Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_24 ◽

2012 ◽

pp. 239-252

Author(s):

Eddy Caron ◽

Florent Chuffart ◽

Anissa Lamani ◽

Franck Petit

Keyword(s):

Service Discovery ◽

Large Scale ◽

Large Scale Systems

Download Full-text

Oblivious Assignment with m Slots

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_19 ◽

2012 ◽

pp. 187-201 ◽

Cited By ~ 3

Author(s):

Giuseppe Ateniese ◽

Roberto Baldoni ◽

Silvia Bonomi ◽

Giuseppe Antonio Di Luna

Download Full-text

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_28 ◽

2012 ◽

pp. 282-284 ◽

Cited By ~ 5

Author(s):

François Bonnet ◽

Xavier Défago ◽

Franck Petit ◽

Maria Gradinariu Potop-Butucaru ◽

Sébastien Tixeuil

Keyword(s):

Fine Grained ◽

Robot Networks

Download Full-text

Brief Announcement: Detecting Users’ Connectivity on Online Social Networks

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_27 ◽

2012 ◽

pp. 279-281

Author(s):

Na Li ◽

Sajal K. Das ◽

Nan Zhang

Keyword(s):

Social Networks ◽

Online Social Networks

Download Full-text

Brief Announcement: Arbitrators in the Security Infrastructure

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_23 ◽

2012 ◽

pp. 236-238

Author(s):

Shlomi Dolev ◽

Niv Gilboa ◽

Ofer Hermoni

Keyword(s):

Security Infrastructure

Download Full-text

BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_20 ◽

2012 ◽

pp. 202-216 ◽

Cited By ~ 16

Author(s):

Mohammad Alaggan ◽

Sébastien Gambs ◽

Anne-Marie Kermarrec

Keyword(s):

Bloom Filters ◽

Similarity Computation

Download Full-text

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_18 ◽

2012 ◽

pp. 183-186 ◽

Cited By ~ 1

Author(s):

Can Arda Muftuoglu ◽

Péter Bokor ◽

Neeraj Suri

Keyword(s):

Model Checking ◽

Message Passing ◽

Software Model Checking ◽

Software Model

Download Full-text

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-642-33536-5_12 ◽

2012 ◽

pp. 111-125 ◽

Cited By ~ 3

Author(s):

Yosr Jarraya ◽

Arash Eghtesadi ◽

Mourad Debbabi ◽

Ying Zhang ◽

Makan Pourzandi

Keyword(s):

Formal Verification ◽

Virtual Machines

Download Full-text

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

High-Level Executable Specifications of Distributed Algorithms

Scalable Byzantine Agreement with a Random Beacon

Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems

Oblivious Assignment with m Slots

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

Brief Announcement: Detecting Users’ Connectivity on Online Social Networks

Brief Announcement: Arbitrators in the Security Infrastructure

BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems
Latest Publications