2009 | ||
---|---|---|
77 | EE | Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar: Transactifying Apache's cache module. SYSTOR 2009: 2 |
76 | EE | Ulrich Schmid, Bettina Weiss, Idit Keidar: Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. 38(5): 1912-1951 (2009) |
75 | EE | Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld: Do not crawl in the DUST: Different URLs with similar text. TWEB 3(1): 3 (2009) |
2008 | ||
74 | EE | Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer: Brahms: byzantine resilient random membership sampling. PODC 2008: 145-154 |
73 | EE | Christian Cachin, Idit Keidar, Alexander Shraer: Principles of untrusted storage: a new look at consistency conditions. PODC 2008: 426 |
72 | EE | Edward Bortnikov, Israel Cidon, Idit Keidar: Dynamic service assignment in mobile networks: the magma approach. PODC 2008: 444 |
71 | EE | Gal Badishi, Idit Keidar: Improving denial of service resistance using dynamic local adaptations. SAC 2008: 2212-2218 |
70 | EE | Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser: Utilizing shared data in chip multiprocessors with the nahalal architecture. SPAA 2008: 1-10 |
69 | EE | Gal Badishi, Amir Herzberg, Idit Keidar, Oleg Romanov, Avital Yachin: An Empirical Study of Denial of Service Mitigation Techniques. SRDS 2008: 115-124 |
68 | EE | Christian Cachin, Idit Keidar, Alexander Shraer: Fork Sequential Consistency is Blocking CoRR abs/0805.2068: (2008) |
67 | EE | Idit Keidar, Alexander Shraer: How to Choose a Timing Model. IEEE Trans. Parallel Distrib. Syst. 19(10): 1367-1380 (2008) |
66 | EE | Roie Melamed, Idit Keidar: Araneola: A scalable reliable multicast system for dynamic environments. J. Parallel Distrib. Comput. 68(12): 1539-1560 (2008) |
65 | EE | Idit Keidar: On distributed computing principles in systems research: introduction. SIGACT News 39(2): 82-83 (2008) |
64 | EE | Idit Keidar: ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing. SIGACT News 39(3): 66 (2008) |
63 | EE | Roie Melamed, Idit Keidar, Yoav Barel: Octopus: A fault-tolerant and efficient ad-hoc routing protocol. Wireless Networks 14(6): 777-793 (2008) |
2007 | ||
62 | EE | Edward Bortnikov, Israel Cidon, Idit Keidar: Scalable real-time gateway assignment in mobile mesh networks. CoNEXT 2007: 20 |
61 | EE | Gregory Chockler, Rachid Guerraoui, Idit Keidar: Amnesic Distributed Storage. DISC 2007: 139-151 |
60 | EE | Edward Bortnikov, Israel Cidon, Idit Keidar: Scalable Load-Distance Balancing. DISC 2007: 77-91 |
59 | EE | Idit Keidar, Alexander Shraer: How to Choose a Timing Model? DSN 2007: 389-398 |
58 | EE | Roman Gindin, Israel Cidon, Idit Keidar: NoC-Based FPGA: Architecture and Routing. NOCS 2007: 253-264 |
57 | EE | Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld: Do not crawl in the dust: different urls with similar text. WWW 2007: 111-120 |
56 | EE | Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser: Nahalal: Cache Organization for Chip Multiprocessors. Computer Architecture Letters 6(1): 21-24 (2007) |
55 | EE | Partha Dutta, Rachid Guerraoui, Idit Keidar: The overhead of consensus failure recovery. Distributed Computing 19(5-6): 373-386 (2007) |
54 | EE | Gal Badishi, Amir Herzberg, Idit Keidar: Keeping Denial-of-Service Attackers in the Dark. IEEE Trans. Dependable Sec. Comput. 4(3): 191-204 (2007) |
53 | EE | Edward Bortnikov, Israel Cidon, Idit Keidar: Nomadic Service Assignment. IEEE Trans. Mob. Comput. 6(8): 915-928 (2007) |
52 | EE | Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Wait-free regular storage from Byzantine components. Inf. Process. Lett. 101(2): 60-65 (2007) |
51 | EE | Idit Keidar: Introduction. SIGACT News 38(4): 46-53 (2007) |
2006 | ||
50 | EE | Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster: Efficient Dynamic Aggregation. DISC 2006: 90-104 |
49 | EE | Gal Badishi, Idit Keidar, Amir Herzberg, Oleg Romanov, Avital Yachin: Denial of Service Protection with Beaver. From Security to Dependability 2006 |
48 | EE | Sivan Bercovici, Idit Keidar, Ayellet Tal: Decentralized Electronic Mail. ICDCS Workshops 2006: 14 |
47 | EE | Edward Bortnikov, Israel Cidon, Idit Keidar: Nomadic Service Points. INFOCOM 2006 |
46 | EE | Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff: Veracity radius: capturing the locality of distributed computations. PODC 2006: 102-111 |
45 | EE | Idit Keidar, Alexander Shraer: Timeliness, failure-detectors, and consensus performance. PODC 2006: 169-178 |
44 | EE | Idit Keidar, Roie Melamed, Ariel Orda: EquiCast: scalable multicast with selfish users. PODC 2006: 63-71 |
43 | EE | Idit Keidar, Roie Melamed: Evaluating unstructured peer-to-peer lookup overlays. SAC 2006: 675-679 |
42 | EE | Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott: Deleting Files in the Celeste Peer-to-Peer Storage System. SRDS 2006: 29-38 |
41 | EE | Uri Schonfeld, Ziv Bar-Yossef, Idit Keidar: Do not crawl in the DUST: different URLs with similar text. WWW 2006: 1015-1016 |
40 | EE | Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Byzantine disk paxos: optimal resilience with byzantine shared memory. Distributed Computing 18(5): 387-408 (2006) |
39 | EE | Gal Badishi, Idit Keidar, Amir Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. IEEE Trans. Dependable Sec. Comput. 3(1): 45-61 (2006) |
38 | EE | Idit Keidar, Assaf Schuster: Want scalable computing?: speculate! SIGACT News 37(3): 59-66 (2006) |
37 | EE | Partha Pratim Pal, Paul Rubel, Michael Atighetchi, Franklin Webber, William H. Sanders, Mouna Seri, HariGovind V. Ramasamy, James Lyons, Tod Courtney, Adnan Agbaria, Michel Cukier, Jeanna M. Gossett, Idit Keidar: An architecture for adaptive intrusion-tolerant applications. Softw., Pract. Exper. 36(11-12): 1331-1354 (2006) |
2005 | ||
36 | EE | Gal Badishi, Amir Herzberg, Idit Keidar: Keeping Denial-of-Service Attackers in the Dark. DISC 2005: 18-32 |
35 | EE | Marc Shapiro, Idit Keidar, Felix C. Freiling, Luís Rodrigues: Topic 8 - Distributed Systems and Algorithms. Euro-Par 2005: 593 |
34 | EE | Roie Melamed, Idit Keidar, Yoav Barel: Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol. SRDS 2005: 39-49 |
33 | EE | Nadav Lavi, Israel Cidon, Idit Keidar: MaGMA: mobility and group management architecture for real-time collaborative applications. Wireless Communications and Mobile Computing 5: 749-772 (2005) |
2004 | ||
32 | EE | Gal Badishi, Idit Keidar, Amir Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. DSN 2004: 223-232 |
31 | EE | Carolos Livadas, Idit Keidar: Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253- |
30 | EE | Nadav Lavi, Israel Cidon, Idit Keidar: Supporting Groupware in Mobile Networks. MWCN 2004: 95-106 |
29 | EE | Roie Melamed, Idit Keidar: Araneola: A Scalable Reliable Multicast System for Dynamic Environments. NCA 2004: 5-14 |
28 | EE | Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Byzantine disk paxos: optimal resilience with byzantine shared memory. PODC 2004: 226-235 |
27 | EE | Gal Badishi, Idit Keidar, Amir Sasson: Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. PODC 2004: 374 |
26 | EE | Idit Keidar, Roie Melamed: Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. PODC 2004: 384 |
2003 | ||
25 | EE | Idit Keidar, Sergio Rajsbaum: Open Questions on Consensus Performance in Well-Behaved Runs. Future Directions in Distributed Computing 2003: 35-39 |
24 | EE | Idit Keidar: Challenges in Evaluating Distributed Algorithms. Future Directions in Distributed Computing 2003: 40-44 |
23 | EE | Idit Keidar, Sergio Rajsbaum: On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. LADC 2003: 366-368 |
22 | EE | Idit Keidar, Sergio Rajsbaum: A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett. 85(1): 47-52 (2003) |
2002 | ||
21 | EE | Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch: Early-Delivery Dynamic Atomic Broadcast. DISC 2002: 1-16 |
20 | EE | Omar Bakr, Idit Keidar: Evaluating the running time of a communication round over the internet. PODC 2002: 243-252 |
19 | EE | Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev: Moshe: A group membership service for WANs. ACM Trans. Comput. Syst. 20(3): 191-238 (2002) |
18 | EE | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman: An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Softw. Eng. Methodol. 11(1): 63-91 (2002) |
17 | EE | Idit Keidar, Roger Khazan: A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. SIAM J. Comput. 32(1): 78-130 (2002) |
2001 | ||
16 | EE | Kyle Ingols, Idit Keidar: Availability Study of Dynamic Voting Algorithms. ICDCS 2001: 247-254 |
15 | EE | Alan Fekete, Idit Keidar: A Framework for Highly Available Services Based on Group Communication. ICDCS Workshops 2001: 57-62 |
14 | EE | Gregory Chockler, Idit Keidar, Roman Vitenberg: Group communication specifications: a comprehensive study. ACM Comput. Surv. 33(4): 427-469 (2001) |
2000 | ||
13 | EE | Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano: On Formal Modeling of Agent Computations. FAABS 2000: 48-62 |
12 | EE | Idit Keidar, Roger Khazan: A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms. ICDCS 2000: 344-355 |
11 | EE | Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev: A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. ICDCS 2000: 356-365 |
10 | EE | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman: An inheritance-based technique for building simulation proofs incrementally. ICSE 2000: 478-487 |
9 | Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch: Totally Ordered Multicast with Bounded Delays and Variable Rates. OPODIS 2000: 143-162 | |
8 | EE | Jeremy B. Sussman, Idit Keidar, Keith Marzullo: Optimistic Virtual Synchrony. SRDS 2000: 42-51 |
1999 | ||
7 | EE | Tal Anker, Danny Dolev, Idit Keidar: Fault Tolerant Video on Demand Services. ICDCS 1999: 244-252 |
1998 | ||
6 | Idit Keidar, Danny Dolev: Increasing the Resilience of Distributed and Replicated Database Systems. J. Comput. Syst. Sci. 57(3): 309-324 (1998) | |
1997 | ||
5 | Tal Anker, Gregory Chockler, Danny Dolev, Idit Keidar: The Caelum Toolkit for CSCW: The Sky is the Limit. NGITS 1997: 0- | |
4 | Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi: Failure Detectors in Omission Failure Environments. PODC 1997: 286 | |
3 | Esti Yeger Lotem, Idit Keidar, Danny Dolev: Dynamic Voting for Consistent Primary Components. PODC 1997: 63-71 | |
1996 | ||
2 | Idit Keidar, Danny Dolev: Efficient Message Ordering in Dynamic Networks. PODC 1996: 68-76 | |
1995 | ||
1 | EE | Idit Keidar, Danny Dolev: Increasing the Resilience of Atomic Commit at No Additional Cost. PODS 1995: 245-254 |