Nik Sultana

Cited by

	All	Since 2016
Citations	299	215
h-index	10	7
i10-index	10	7

2007200820092010201120122013201420152016201720182019202020212 3 4 5 5 7 11 9 27 33 34 41 69 35 3

Co-authors

Christoph BenzmüllerProfessor, FU BerlinVerified email at fu-berlin.de
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
Boon Thau LooRCA Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Jon CrowcroftUniversity of CambridgeVerified email at cl.cam.ac.uk
Peter PietzuchProfessor of Distributed Systems, Imperial College LondonVerified email at doc.ic.ac.uk
David J GreavesUniversity of Cambridge, Computer LaboratoryVerified email at cl.cam.ac.uk
Salvator GaleaPhD Candidate, Department of Computer Science and Technology, University of CambridgeVerified email at cl.cam.ac.uk
Richard G. CleggQueen Mary University of LondonVerified email at qmul.ac.uk
Luo MaiUniversity of EdinburghVerified email at ed.ac.uk
Paolo CostaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Noa Zilberman (Arad)University of OxfordVerified email at eng.ox.ac.uk
Pietro BressanaPhD Candidate in Computer Science, Università della Svizzera italiana (Lugano, Switzerland)Verified email at usi.ch
Robert SouléAssistant Professor, Yale UniversityVerified email at yale.edu
Simon ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Marcin WójcikVerified email at cam.ac.uk
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk

Nik Sultana

University of Pennsylvania

Verified email at seas.upenn.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	84	2015
Mechanical verification of refactorings N Sultana, S Thompson Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	40	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	32	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	28	2013
Foundations of logic-based trust management MY Becker, A Russo, N Sultana 2012 IEEE Symposium on Security and Privacy, 161-175, 2012	19	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
Understanding LEO-II's proofs. N Sultana, C Benzmüller IWIL@ LPAR, 33-52, 2012	13	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	12	2016
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	11	2013
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	10	2018
Verification of refactorings in Isabelle/HOL N Sultana Computing Laboratory, University of Kent, 2008	6	2008
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
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	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

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

Upload PDF

Follow this author

Cited by

Co-authors