The Higher-Order Prover Leo-II C Benzmüller, N Sultana, LC Paulson, F Theiß Journal of Automated Reasoning 55, 389-404, 2015 | 104 | 2015 |
Flightplan: Dataplane Disaggregation and Placement for P4 Programs N Sultana, J Sonchack, H Giesen, I Pedisich, Z Han, N Shyamkumar, ... 18th {USENIX} Symposium on Networked Systems Design and Implementation …, 2021 | 71 | 2021 |
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008 | 51 | 2008 |
LEO-II and Satallax on the Sledgehammer test bench N Sultana, JC Blanchette, LC Paulson Journal of Applied Logic 11 (1), 91-102, 2013 | 43 | 2013 |
Emu: Rapid prototyping of networking services N Sultana, S Galea, D Greaves, M Wójcik, J Shipton, R Clegg, L Mai, ... 2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 459-471, 2017 | 42 | 2017 |
Systematic verification of the modal logic cube in Isabelle/HOL C Benzmüller, M Claus, N Sultana arXiv preprint arXiv:1507.08717, 2015 | 25 | 2015 |
In-network computing to the rescue of faulty links H Giesen, L Shi, J Sonchack, A Chelluri, N Prabhu, N Sultana, L Kant, ... Proceedings of the 2018 Morning Workshop on In-Network Computing, 1-6, 2018 | 23 | 2018 |
Foundations of logic-based trust management MY Becker, A Russo, N Sultana 2012 IEEE Symposium on Security and Privacy, 161-175, 2012 | 23 | 2012 |
{FLICK}: Developing and Running Application-Specific Network Services A Alim, RG Clegg, L Mai, L Rupprecht, E Seckler, P Costa, P Pietzuch, ... 2016 {USENIX} Annual Technical Conference ({USENIX}{ATC} 16), 1-14, 2016 | 19 | 2016 |
Understanding LEO-II's proofs. N Sultana, C Benzmüller IWIL@ LPAR, 33-52, 2012 | 13 | 2012 |
LEO-II Version 1.5. C Benzmüller, N Sultana PxTP@ CADE, 2-10, 2013 | 11 | 2013 |
Verification of refactorings in Isabelle/HOL N Sultana PQDT-Global, 2008 | 7 | 2008 |
Light at the middle of the tunnel: Middleboxes for selective disclosure of network monitoring to distrusted parties N Sultana, M Kohlweiss, AW Moore Proceedings of the 2016 workshop on Hot topics in Middleboxes and Network …, 2016 | 5 | 2016 |
In-network fractional calculations using P4 for scientific computing workloads S Patel, R Atsatsang, KM Tichauer, MHLS Wang, JB Kowalkowski, ... Proceedings of the 5th International Workshop on P4 in Europe, 33-38, 2022 | 4 | 2022 |
Report on networking and programming languages 2017 N Bjorner, M Canini, N Sultana ACM SIGCOMM Computer Communication Review 47 (5), 39-41, 2017 | 4 | 2017 |
A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers HM Demoulin, T Vaidya, I Pedisich, N Sultana, B Wang, J Qian, Y Zhang, ... Proceedings of the SIGCOMM Posters and Demos, 71-73, 2017 | 4 | 2017 |
Extending programs with debug-related features, with application to hardware development N Sultana, S Galea, D Greaves, M Wójcik, N Zilberman, R Clegg, L Mai, ... arXiv preprint arXiv:1705.09902, 2017 | 4 | 2017 |
Proofs and reconstructions N Sultana, C Benzmüller, LC Paulson Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015 | 4 | 2015 |
An extensible evaluation system for DoS research N Sultana, S Bose, BT Loo 2019 11th International Conference on Communication Systems & Networks …, 2019 | 3 | 2019 |
Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks N Sultana, A Rao, Z Jin, P Pashakhanloo, H Zhu, K Zhong, BT Loo Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software …, 2018 | 3 | 2018 |