Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nik Sultana
@article{DBLP:journals/ijnc/ZhuZS24,
author = {Henry Zhu and
Junyong Zhao and
Nik Sultana},
title = {A Domain-Specific Language for Reconfigurable, Distributed Software},
journal = {Int. J. Netw. Comput.},
volume = {14},
number = {1},
pages = {40--80},
year = {2024},
url = {http://www.ijnc.org/index.php/ijnc/article/view/314},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/ZhuZS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZhuZS23,
author = {Henry Zhu and
Junyong Zhao and
Nik Sultana},
title = {A Domain-Specific Language for Reconfigurable, Distributed Software
Architecture},
booktitle = {{IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2023 - Workshops, St. Petersburg, FL, USA, May 15-19, 2023},
pages = {335--344},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IPDPSW59300.2023.00063},
doi = {10.1109/IPDPSW59300.2023.00063},
timestamp = {Wed, 09 Aug 2023 16:25:12 +0200},
biburl = {https://dblp.org/rec/conf/ipps/ZhuZS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/GueyraudS23,
author = {Cyprien Gueyraud and
Nik Sultana},
title = {Towards In-Network Semantic Analysis: {A} Case Study involving Spam
Classification},
booktitle = {{NOMS} 2023, {IEEE/IFIP} Network Operations and Management Symposium,
Miami, FL, USA, May 8-12, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/NOMS56928.2023.10154350},
doi = {10.1109/NOMS56928.2023.10154350},
timestamp = {Mon, 26 Jun 2023 09:00:05 +0200},
biburl = {https://dblp.org/rec/conf/noms/GueyraudS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/SultanaZZZMCCZS22,
author = {Nik Sultana and
Henry Zhu and
Ke Zhong and
Zhilei Zheng and
Ruijie Mao and
Digvijaysinh Chauhan and
Stephen Carrasquillo and
Junyong Zhao and
Lei Shi and
Nikos Vasilakis and
Boon Thau Loo},
title = {Towards Practical Application-level Support for Privilege Separation},
booktitle = {Annual Computer Security Applications Conference, {ACSAC} 2022, Austin,
TX, USA, December 5-9, 2022},
pages = {71--87},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564625.3564664},
doi = {10.1145/3564625.3564664},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/SultanaZZZMCCZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/PatelATWKS22,
author = {Shivam Patel and
Rigden Atsatsang and
Kenneth M. Tichauer and
Michael H. L. S. Wang and
James B. Kowalkowski and
Nik Sultana},
editor = {Marco Chiesa and
Shir Landau Feibish},
title = {In-network fractional calculations using {P4} for scientific computing
workloads},
booktitle = {Proceedings of the 5th International Workshop on {P4} in Europe, EuroP4
2022, Rome, Italy, 9 December 2022},
pages = {33--38},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3565475.3569083},
doi = {10.1145/3565475.3569083},
timestamp = {Mon, 05 Dec 2022 10:25:52 +0100},
biburl = {https://dblp.org/rec/conf/conext/PatelATWKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/Sultana22,
author = {Nik Sultana},
title = {Work in Progress paper: Experiment Planning for Heterogeneous Programmable
Networks},
booktitle = {18th International Conference on Distributed Computing in Sensor Systems,
{DCOSS} 2022, Marina del Rey, Los Angeles, CA, USA, May 30 - June
1, 2022},
pages = {434--437},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DCOSS54816.2022.00079},
doi = {10.1109/DCOSS54816.2022.00079},
timestamp = {Wed, 21 Sep 2022 17:47:58 +0200},
biburl = {https://dblp.org/rec/conf/dcoss/Sultana22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/SultanaSY22,
author = {Nik Sultana and
Deborah Shands and
Vinod Yegneswaran},
title = {A case for remote attestation in programmable dataplanes},
booktitle = {Proceedings of the 21st {ACM} Workshop on Hot Topics in Networks,
HotNets 2022, Austin, Texas, November 14-15, 2022},
pages = {122--129},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563766.3564100},
doi = {10.1145/3563766.3564100},
timestamp = {Thu, 17 Nov 2022 16:03:13 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/SultanaSY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/Sultana22,
author = {Nik Sultana},
title = {Demo: The Hangar environment for Teaching and Research in Programmable
Networking},
booktitle = {30th {IEEE} International Conference on Network Protocols, {ICNP}
2022, Lexington, KY, USA, October 30 - Nov. 2, 2022},
pages = {1--2},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICNP55882.2022.9940410},
doi = {10.1109/ICNP55882.2022.9940410},
timestamp = {Thu, 24 Nov 2022 14:56:20 +0100},
biburl = {https://dblp.org/rec/conf/icnp/Sultana22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/SultanaSZSKKL21,
author = {Nik Sultana and
Saket and
Andrew Zhao and
Shubhendra Pal Singhal and
Michael Kaplan and
Rajesh Krishnan and
Boon Thau Loo},
title = {{IPC} evolution thru declarative interface generation},
booktitle = {DAI-SNAC@CoNEXT 2021: Proceedings of the 2021 Workshop on Descriptive
Approaches to IoT Security, Network, and Application Configuration,
Virtual Event, Munich, Germany, 7 December 2021},
pages = {17--21},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3488661.3494032},
doi = {10.1145/3488661.3494032},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/SultanaSZSKKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/NagdaNSL21,
author = {Heena Nagda and
Rakesh Nagda and
Nik Sultana and
Boon Thau Loo},
title = {Demo: Disaggregated Dataplanes},
booktitle = {41st {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2021, Washington DC, USA, July 7-10, 2021},
pages = {1095--1097},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICDCS51616.2021.00109},
doi = {10.1109/ICDCS51616.2021.00109},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/NagdaNSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/SultanaSGPHSBDL21,
author = {Nik Sultana and
John Sonchack and
Hans Giesen and
Isaac Pedisich and
Zhaoyang Han and
Nishanth Shyamkumar and
Shivani Burad and
Andr{\'{e}} DeHon and
Boon Thau Loo},
editor = {James Mickens and
Renata Teixeira},
title = {Flightplan: Dataplane Disaggregation and Placement for {P4} Programs},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {571--592},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/sultana},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/SultanaSGPHSBDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/Sultana21,
author = {Nik Sultana},
title = {Leveraging In-Network Application Awareness},
booktitle = {NAI'21: Proceedings of the {ACM} {SIGCOMM} 2021 Workshop on Network-Application
Integration, Virtual Event, USA, August 27, 2021},
pages = {63--67},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472727.3472806},
doi = {10.1145/3472727.3472806},
timestamp = {Tue, 03 Aug 2021 17:58:16 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/Sultana21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/NagdaNSSL21,
author = {Heena Nagda and
Rakesh Nagda and
Swapneel Sheth and
Nik Sultana and
Boon Thau Loo},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {{FDP:} {A} Teaching and Demonstration Platform for Networking},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {1376},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3439543},
doi = {10.1145/3408877.3439543},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/NagdaNSSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01929,
author = {Andr{\'{e}} DeHon and
Hans Giesen and
Nik Sultana and
Yuanlong Xiao},
title = {Meta-level issues in Offloading: Scoping, Composition, Development,
and their Automation},
journal = {CoRR},
volume = {abs/2104.01929},
year = {2021},
url = {https://arxiv.org/abs/2104.01929},
eprinttype = {arXiv},
eprint = {2104.01929},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/NagdaNPSL20,
author = {Heena Nagda and
Rakesh Nagda and
Isaac Pedisich and
Nik Sultana and
Boon Thau Loo},
editor = {Dongsu Han and
Anja Feldmann},
title = {{FDP:} a teaching and demo platform for {SDN}},
booktitle = {CoNEXT '20: The 16th International Conference on emerging Networking
EXperiments and Technologies, Barcelona, Spain, December, 2020},
pages = {524--525},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3386367.3431886},
doi = {10.1145/3386367.3431886},
timestamp = {Sat, 30 Sep 2023 09:37:43 +0200},
biburl = {https://dblp.org/rec/conf/conext/NagdaNPSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZhuSL20,
author = {Henry Zhu and
Nik Sultana and
Boon Thau Loo},
title = {Debugging strongly-compartmentalized distributed systems},
booktitle = {2020 {IEEE} International Parallel and Distributed Processing Symposium
Workshops, {IPDPSW} 2020, New Orleans, LA, USA, May 18-22, 2020},
pages = {538--547},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IPDPSW50202.2020.00096},
doi = {10.1109/IPDPSW50202.2020.00096},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZhuSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/Sultana19,
author = {Nik Sultana},
editor = {Robert J. Stewart and
Greg J. Michaelson},
title = {What we talk about when we talk about pcap expressions},
booktitle = {Proceedings of the 4th {ACM} International Workshop on Real World
Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA,
February 17, 2019},
pages = {2:1--2:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3300111.3300113},
doi = {10.1145/3300111.3300113},
timestamp = {Mon, 01 Aug 2022 08:51:50 +0200},
biburl = {https://dblp.org/rec/conf/cgo/Sultana19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/SultanaRJPZYL19,
author = {Nik Sultana and
Achala Rao and
Zihao Jin and
Pardis Pashakhanloo and
Henry Zhu and
Vinod Yegneswaran and
Boon Thau Loo},
editor = {Hanan Lutfiyya and
Yixin Diao and
Nur Zincir{-}Heywood and
R{\'{e}}mi Badonnel and
Edmundo R. M. Madeira},
title = {Trace-based Behaviour Analysis of Network Servers},
booktitle = {15th International Conference on Network and Service Management, {CNSM}
2019, Halifax, NS, Canada, October 21-25, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/CNSM46954.2019.9012750},
doi = {10.23919/CNSM46954.2019.9012750},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/cnsm/SultanaRJPZYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/SultanaBL19,
author = {Nik Sultana and
Shilpi Bose and
Boon Thau Loo},
title = {An extensible evaluation system for DoS research},
booktitle = {11th International Conference on Communication Systems {\&} Networks,
{COMSNETS} 2019, Bengaluru, India, January 7-11, 2019},
pages = {344--351},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COMSNETS.2019.8711450},
doi = {10.1109/COMSNETS.2019.8711450},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comsnets/SultanaBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/SultanaPJRL19,
author = {Nik Sultana and
Pardis Pashakhanloo and
Zihao Jin and
Achala Rao and
Boon Thau Loo},
editor = {Joe Betser and
Carol J. Fung and
Alex Clemm and
J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and
Shingo Ata},
title = {Hashtray: Turning the tables on Scalable Client Classification},
booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management,
{IM} 2019, Washington, DC, USA, April 09-11, 2019},
pages = {67--70},
publisher = {{IFIP}},
year = {2019},
url = {https://ieeexplore.ieee.org/document/8717868},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/im/SultanaPJRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GiesenSSCPSKMPD18,
author = {Hans Giesen and
Lei Shi and
John Sonchack and
Anirudh Chelluri and
Nishanth Prabhu and
Nik Sultana and
Latha A. Kant and
Anthony J. McAuley and
Alexander Poylisher and
Andr{\'{e}} DeHon and
Boon Thau Loo},
editor = {Xin Jin and
Changhoon Kim},
title = {In-network computing to the rescue of faulty links},
booktitle = {Proceedings of the 2018 Morning Workshop on In-Network Computing,
NetCompute@SIGCOMM 2018, Budapest, Hungary, August 20, 2018},
pages = {1--6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3229591.3229595},
doi = {10.1145/3229591.3229595},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/GiesenSSCPSKMPD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/BjornerCS17,
author = {Nikolaj S. Bj{\o}rner and
Marco Canini and
Nik Sultana},
title = {Report on Networking and Programming Languages 2017},
journal = {Comput. Commun. Rev.},
volume = {47},
number = {5},
pages = {39--41},
year = {2017},
url = {https://doi.org/10.1145/3155055.3155061},
doi = {10.1145/3155055.3155061},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/BjornerCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/DemoulinVPSWQZC17,
author = {Henri Maxime Demoulin and
Tavish Vaidya and
Isaac Pedisich and
Nik Sultana and
Bowen Wang and
Jingyu Qian and
Yuankai Zhang and
Ang Chen and
Andreas Haeberlen and
Boon Thau Loo and
Linh Thi Xuan Phan and
Micah Sherr and
Clay Shields and
Wenchao Zhou},
editor = {Jeff Burke and
Matthias W{\"{a}}hlisch and
Nicholas Zhang and
David Meyer and
Puneet Sharma},
title = {A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS
Attacks in Data Centers},
booktitle = {Posters and Demos Proceedings of the Conference of the {ACM} Special
Interest Group on Data Communication, {SIGCOMM} 2017, Los Angeles,
CA, USA, August 21-25, 2017},
pages = {71--73},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123878.3131990},
doi = {10.1145/3123878.3131990},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/DemoulinVPSWQZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/SultanaGGWSCMBS17,
author = {Nik Sultana and
Salvator Galea and
David Greaves and
Marcin W{\'{o}}jcik and
Jonny Shipton and
Richard G. Clegg and
Luo Mai and
Pietro Bressana and
Robert Soul{\'{e}} and
Richard Mortier and
Paolo Costa and
Peter R. Pietzuch and
Jon Crowcroft and
Andrew W. Moore and
Noa Zilberman},
editor = {Dilma Da Silva and
Bryan Ford},
title = {Emu: Rapid Prototyping of Networking Services},
booktitle = {2017 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2017, Santa
Clara, CA, USA, July 12-14, 2017},
pages = {459--471},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/sultana},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/SultanaGGWSCMBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SultanaGGWZCMMP17,
author = {Nik Sultana and
Salvator Galea and
David Greaves and
Marcin W{\'{o}}jcik and
Noa Zilberman and
Richard G. Clegg and
Luo Mai and
Richard Mortier and
Peter R. Pietzuch and
Jon Crowcroft and
Andrew W. Moore},
title = {Extending programs with debug-related features, with application to
hardware development},
journal = {CoRR},
volume = {abs/1705.09902},
year = {2017},
url = {http://arxiv.org/abs/1705.09902},
eprinttype = {arXiv},
eprint = {1705.09902},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SultanaGGWZCMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SultanaM16,
author = {Nik Sultana and
Richard Mortier},
editor = {Tim King and
Ruzica Piskac},
title = {Kneecap: Model-based Generation of Network Traffic},
booktitle = {Proceedings of the 14th International Workshop on Satisfiability Modulo
Theories affiliated with the International Joint Conference on Automated
Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1617},
pages = {4--14},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1617/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/SultanaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SultanaKM16,
author = {Nik Sultana and
Markulf Kohlweiss and
Andrew W. Moore},
editor = {Dongsu Han and
Danny Raz},
title = {Light at the middle of the tunnel: middleboxes for selective disclosure
of network monitoring to distrusted parties},
booktitle = {Proceedings of the {ACM} {SIGCOMM} Workshop on Hot topics in Middleboxes
and Network Function Virtualization, HotMiddlebox@SIGCOMM 2016, Florianopolis,
Brazil, August, 2016},
pages = {1--6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2940147.2940151},
doi = {10.1145/2940147.2940151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SultanaKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/AlimCMRSCPWSCMM16,
author = {Abdul Alim and
Richard G. Clegg and
Luo Mai and
Lukas Rupprecht and
Eric Seckler and
Paolo Costa and
Peter R. Pietzuch and
Alexander L. Wolf and
Nik Sultana and
Jon Crowcroft and
Anil Madhavapeddy and
Andrew W. Moore and
Richard Mortier and
Masoud Koleini and
Luis Oviedo and
Matteo Migliavacca and
Derek McAuley},
editor = {Ajay Gulati and
Hakim Weatherspoon},
title = {{FLICK:} Developing and Running Application-Specific Network Services},
booktitle = {2016 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2016, Denver,
CO, USA, June 22-24, 2016},
pages = {1--14},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/alim},
timestamp = {Mon, 01 Feb 2021 17:03:06 +0100},
biburl = {https://dblp.org/rec/conf/usenix/AlimCMRSCPWSCMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BenzmullerSPT15,
author = {Christoph Benzm{\"{u}}ller and
Nik Sultana and
Lawrence C. Paulson and
Frank Theiss},
title = {The Higher-Order Prover Leo-II},
journal = {J. Autom. Reason.},
volume = {55},
number = {4},
pages = {389--404},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9348-y},
doi = {10.1007/S10817-015-9348-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BenzmullerSPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/SultanaBP15,
author = {Nik Sultana and
Christoph Benzm{\"{u}}ller and
Lawrence C. Paulson},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Proofs and Reconstructions},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {256--271},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_16},
doi = {10.1007/978-3-319-24246-0\_16},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/SultanaBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenzmullerCS15,
author = {Christoph Benzm{\"{u}}ller and
Maximilian Claus and
Nik Sultana},
editor = {Cezary Kaliszyk and
Andrei Paskevich},
title = {Systematic Verification of the Modal Logic Cube in Isabelle/HOL},
booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving,
PxTP 2015, Berlin, Germany, August 2-3, 2015},
series = {{EPTCS}},
volume = {186},
pages = {27--41},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.186.5},
doi = {10.4204/EPTCS.186.5},
timestamp = {Wed, 16 Mar 2022 23:52:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/BenzmullerCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SultanaBP13,
author = {Nik Sultana and
Jasmin Christian Blanchette and
Lawrence C. Paulson},
title = {{LEO-II} and Satallax on the Sledgehammer test bench},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {91--102},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.12.002},
doi = {10.1016/J.JAL.2012.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/SultanaBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerS13,
author = {Christoph Benzm{\"{u}}ller and
Nik Sultana},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {{LEO-II} Version 1.5},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {2--10},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/lbxw},
doi = {10.29007/LBXW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/SultanaBK13,
author = {Nik Sultana and
Moritz Y. Becker and
Markulf Kohlweiss},
editor = {Rafael Accorsi and
Silvio Ranise},
title = {Selective Disclosure in Datalog-Based Trust Management},
booktitle = {Security and Trust Management - 9th International Workshop, {STM}
2013, Egham, UK, September 12-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8203},
pages = {160--175},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41098-7\_11},
doi = {10.1007/978-3-642-41098-7\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/SultanaBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-3761,
author = {Christoph Benzm{\"{u}}ller and
Nik Sultana},
title = {Update report: {LEO-II} version 1.5},
journal = {CoRR},
volume = {abs/1303.3761},
year = {2013},
url = {http://arxiv.org/abs/1303.3761},
eprinttype = {arXiv},
eprint = {1303.3761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-3761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SultanaB12,
author = {Nik Sultana and
Christoph Benzm{\"{u}}ller},
editor = {Konstantin Korovin and
Stephan Schulz and
Eugenia Ternovska},
title = {Understanding LEO-II's proofs},
booktitle = {{IWIL} 2012: The 9th International Workshop on the Implementation
of Logics, Merida, Venezuela, March 10, 2012},
series = {EPiC Series in Computing},
volume = {22},
pages = {33--52},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/x9c9},
doi = {10.29007/X9C9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SultanaB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BeckerRS12,
author = {Moritz Y. Becker and
Alessandra Russo and
Nik Sultana},
title = {Foundations of Logic-Based Trust Management},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
San Francisco, California, {USA}},
pages = {161--175},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SP.2012.20},
doi = {10.1109/SP.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BeckerRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SultanaT08,
author = {Nik Sultana and
Simon J. Thompson},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Mechanical verification of refactorings},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {51--60},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328417},
doi = {10.1145/1328408.1328417},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SultanaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Thompson0LRS07,
author = {Simon J. Thompson and
Christopher Brown and
Huiqing Li and
Claus Reinke and
Nik Sultana},
editor = {Danny Dig},
title = {Refactoring Functional Programs at the University of Kent},
booktitle = {1st Workshop on Refactoring Tools, {WRT} 2007, in conjunction with
21st European Conference on Object-Oriented Programming, July 30 -
August 03, 2007, Berlin, Germany, Proceedings},
pages = {66--67},
year = {2007},
url = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/},
timestamp = {Tue, 19 Jun 2018 18:57:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Thompson0LRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-19 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
