Follow
Nik Sultana
Title
Cited by
Cited by
Year
The Higher-Order Prover Leo-II
C Benzmüller, N Sultana, LC Paulson, F Theiß
Journal of Automated Reasoning 55, 389-404, 2015
1062015
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
682021
Mechanical verification of refactorings
N Sultana, S Thompson
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
512008
LEO-II and Satallax on the Sledgehammer test bench
N Sultana, JC Blanchette, LC Paulson
Journal of Applied Logic 11 (1), 91-102, 2013
452013
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
422017
Systematic verification of the modal logic cube in Isabelle/HOL
C Benzmüller, M Claus, N Sultana
arXiv preprint arXiv:1507.08717, 2015
242015
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
232018
Foundations of logic-based trust management
MY Becker, A Russo, N Sultana
2012 IEEE Symposium on Security and Privacy, 161-175, 2012
232012
{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
192016
Understanding LEO-II's proofs.
N Sultana, C Benzmüller
IWIL@ LPAR, 33-52, 2012
132012
LEO-II Version 1.5.
C Benzmüller, N Sultana
PxTP@ CADE, 2-10, 2013
112013
Verification of refactorings in Isabelle/HOL
N Sultana
PQDT-Global, 2008
72008
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
52016
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
42022
Report on networking and programming languages 2017
N Bjorner, M Canini, N Sultana
ACM SIGCOMM Computer Communication Review 47 (5), 39-41, 2017
42017
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
42017
Proofs and reconstructions
N Sultana, C Benzmüller, LC Paulson
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015
42015
An extensible evaluation system for DoS research
N Sultana, S Bose, BT Loo
2019 11th International Conference on Communication Systems & Networks …, 2019
32019
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
32018
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
32017
The system can't perform the operation now. Try again later.
Articles 1–20