Nik Sultana

Cited by

	All	Since 2017
Citations	359	240
h-index	11	9
i10-index	11	9

20072008200920102011201220132014201520162017201820192020202120222 3 4 5 5 6 12 9 28 34 35 42 64 36 49 14

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christoph BenzmüllerFull Professor at University of Bamberg & Professor (apl.) at FU BerlinVerified email at fu-berlin.de
Boon Thau LooRCA Professor of Computer and Information Science, Associate Dean, UPennVerified email at seas.upenn.edu
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Andrew W. MooreUniversity of CambridgeVerified email at cl.cam.ac.uk
Richard MortierCambridge University Computer LaboratoryVerified email at cl.cam.ac.uk
Jon CrowcroftUniversity of CambridgeVerified email at cl.cam.ac.uk
Richard G. CleggQueen Mary University of LondonVerified email at qmul.ac.uk
Peter PietzuchProfessor of Distributed Systems, Imperial College LondonVerified email at imperial.ac.uk
Luo MaiAssistant Professor, The University of EdinburghVerified email at ed.ac.uk
David J GreavesUniversity of Cambridge, Computer LaboratoryVerified email at cl.cam.ac.uk
Noa ZilbermanUniversity of OxfordVerified email at eng.ox.ac.uk
Salvator GaleaPhD Candidate, Department of Computer Science and Technology, University of CambridgeVerified email at cl.cam.ac.uk
Paolo CostaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
Simon ThompsonTechnical Project Director, dApp Platform, IOHK; Professor, University of Kent and ELTEVerified email at kent.ac.uk
Marcin WójcikVerified email at cam.ac.uk
Robert SouléAssistant Professor of Computer Science, Yale UniversityVerified email at yale.edu
Isaac PedisichSoftware Developer, University of PennsylvaniaVerified email at seas.upenn.edu
John SonchackPostdoctoral Researcher, Princeton UniversityVerified email at princeton.edu
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl

Nik Sultana

Assistant professor, Illinois Tech

Verified email at iit.edu - Homepage

Data networking Systems Programming Languages Security Formal Methods


Title Sort by citations Sort by year Sort by 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	90	2015
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	48	2008
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	40	2017
LEO-II and Satallax on the Sledgehammer test bench N Sultana, JC Blanchette, LC Paulson Journal of Applied Logic 11 (1), 91-102, 2013	36	2013
Foundations of logic-based trust management MY Becker, A Russo, N Sultana 2012 IEEE Symposium on Security and Privacy, 161-175, 2012	22	2012
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	16	2021
{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	16	2016
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	15	2018
Understanding LEO-II's proofs. N Sultana, C Benzmüller IWIL@ LPAR, 33-52, 2012	15	2012
Systematic verification of the modal logic cube in Isabelle/HOL C Benzmüller, M Claus, N Sultana arXiv preprint arXiv:1507.08717, 2015	14	2015
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 Master's thesis, Computing Laboratory, University of Kent, UK (September 2007), 2007	6	2007
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
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	4	2016
An extensible evaluation system for DoS research N Sultana, S Bose, BT Loo 2019 11th International Conference on Communication Systems & Networks …, 2019	3	2019
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	3	2017
Proofs and reconstructions N Sultana, C Benzmüller, LC Paulson International Symposium on Frontiers of Combining Systems, 256-271, 2015	3	2015
A Certified Refactoring Engine N Sultana, S Thompson Draft Proceedings of the Ninth Symposium on Trends in Functional Programming …, 2008	3	2008
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	2	2018
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	2	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors