Bibtex entries of Dr. Gabi Nakibly

@inproceedings{ACTDIS,
  author = {Eitan Menahem, Gabi Nakibly, Nir Amar and Yuval Elovici},
  title = {ACTIDS: An Active Strategy For Detecting and Localizing Network Attacks},
  booktitle = {Proceedings of AISec},
  year = {2013},
}

@inproceedings{OSPFModel,
  author = {Adi Sosnovich, Orna Grumberg and Gabi Nakibly},
  title = {Finding Security Vulnerabilities in a Network Protocol using Parameterized Systems},
  booktitle = {Proceedings of CAV},
  year = {2013},
}

@inproceedings{BINDSRTT,
  author = {Roee Hay, Jonathan Kalechstein and Gabi Nakibly},
  title = {Subverting BIND's SRTT Algorithm Derandomizing NS Selection},
  booktitle = {Proceedings of USENIX WOOT},
  year = {2013},
}

@inproceedings{OSS,
  author = {David Fifield, Gabi Nakibly and Dan Boneh},
  title = {OSS: Using Online Scanning Services for Censorship Circumvention},
  booktitle = {Proceedings of PETS},
  year = {2013},
}

@inproceedings{PersistentOSPF,
  author = {Gabi Nakibly, Dima Gonikman, Alex Kirshon and Dan Boneh},
  title = {Persistent OSPF Attacks},
  booktitle = {Proceedings of NDSS},
  year = {2012},
}