@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},
}