Venus: Verification for untrusted cloud storage
- Alexander Shraer
- Christian Cachin
- et al.
- 2010
- CCS 2010
Publications
Date
Featured collections
Popular topics
22 results for Idit Keidar
Exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast
- Gal Badishi
- Idit Keidar
- et al.
- 2006
- IEEE TDSC
Using Nesting to Push the Limits of Transactional Data Structure Libraries
- Gal Assa
- Hagar Meir
- et al.
- 2021
- OPODIS 2021
Brief announcement: Using nesting to push the limits of transactional data structure libraries
- Gal Assa
- Hagar Meir
- et al.
- 2021
- DISC 2021
Oak: A scalable off-heap allocated key-value map
- Hagar Meir
- Dmitry Basin
- et al.
- 2020
- PPoPP 2020
Nesting and composition in transactional data structure libraries
- Gal Assa
- Hagar Meir
- et al.
- 2020
- PPoPP 2020
WatchIT: Who Watches Your IT Guy?
- Noam Shalev
- Idit Keidar
- et al.
- 2017
- SOSP 2017
WatchIT: Who watches your IT guy?
- Noam Shalev
- Idit Keidar
- et al.
- 2016
- MIST 2016
CSR: Core surprise removal in commodity operating systems
- Noam Shalev
- Eran Harpaz
- et al.
- 2016
- ASPLOS 2016
Tolerant value speculation in coarse-grain streaming computations
- Nathaniel Azuelos
- Idit Keidar
- et al.
- 2011
- IPDPS 2011