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 (4), 389-404, 2015
842015
Mechanical verification of refactorings
N Sultana, S Thompson
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
402008
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
322017
LEO-II and Satallax on the Sledgehammer test bench
N Sultana, JC Blanchette, LC Paulson
Journal of Applied Logic 11 (1), 91-102, 2013
282013
Foundations of logic-based trust management
MY Becker, A Russo, N Sultana
2012 IEEE Symposium on Security and Privacy, 161-175, 2012
192012
Systematic verification of the modal logic cube in Isabelle/HOL
C Benzmüller, M Claus, N Sultana
arXiv preprint arXiv:1507.08717, 2015
142015
Understanding LEO-II's proofs.
N Sultana, C Benzmüller
IWIL@ LPAR, 33-52, 2012
132012
{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
122016
FLICK: Developing and Running Application-Specific Network Services
A Alim, RG Clegg, L Mai, L Rupprecht, E Seckler, P Pietzuch, AL Wolf, ...
12*
LEO-II Version 1.5.
C Benzmüller, N Sultana
PxTP@ CADE, 2-10, 2013
112013
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
102018
Verification of refactorings in Isabelle/HOL
N Sultana
Computing Laboratory, University of Kent, 2008
62008
Report on networking and programming languages 2017
N Bjorner, M Canini, N Sultana
ACM SIGCOMM Computer Communication Review 47 (5), 39-41, 2017
42017
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
42016
An extensible evaluation system for DoS research
N Sultana, S Bose, BT Loo
2019 11th International Conference on Communication Systems & Networks …, 2019
32019
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
32017
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
Proofs and reconstructions
N Sultana, C Benzmüller, LC Paulson
International Symposium on Frontiers of Combining Systems, 256-271, 2015
32015
A Certified Refactoring Engine
N Sultana, S Thompson
Draft Proceedings of the Ninth Symposium on Trends in Functional Programming …, 2008
32008
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
22018
The system can't perform the operation now. Try again later.
Articles 1–20