Refactoring Functional Programs at the University of Kent. - Simon J. Thompson; Christopher Brown 002; Huiqing Li; Claus Reinke; Nik Sultana (WRT, 2007)

Mechanical verification of refactorings. - Nik Sultana; Simon J. Thompson (PEPM, 2008)

Understanding LEO-II's proofs. - Nik Sultana; Christoph Benzmüller (IWIL@LPAR, 2012)

Foundations of Logic-Based Trust Management. - Moritz Y. Becker; Alessandra Russo; Nik Sultana (IEEE Symposium on Security and Privacy, 2012)

LEO-II Version 1.5. - Christoph Benzmüller; Nik Sultana (PxTP@CADE, 2013)

Selective Disclosure in Datalog-Based Trust Management. - Nik Sultana; Moritz Y. Becker; Markulf Kohlweiss (STM, 2013)

Update report: LEO-II version 1.5 - Christoph Benzmüller; Nik Sultana (CoRR, 2013)

LEO-II and Satallax on the Sledgehammer test bench. - Nik Sultana; Jasmin Christian Blanchette; Lawrence C. Paulson (J. Appl. Log., 2013)

Proofs and Reconstructions. - Nik Sultana; Christoph Benzmüller; Lawrence C. Paulson (FroCos, 2015)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL. - Christoph Benzmüller; Maximilian Claus; Nik Sultana (PxTP@CADE, 2015)

The Higher-Order Prover Leo-II. - Christoph Benzmüller; Nik Sultana; Lawrence C. Paulson; Frank Theiss (J. Autom. Reason., 2015)

Higher-order proof translation. - Nikolai Sultana (2015)

Kneecap: Model-based Generation of Network Traffic. - Nik Sultana; Richard Mortier (SMT@IJCAR, 2016)

Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties. - Nik Sultana; Markulf Kohlweiss; Andrew W. Moore 002 (HotMiddlebox@SIGCOMM, 2016)

FLICK: Developing and Running Application-Specific Network Services. - Abdul Alim; Richard G. Clegg; Luo Mai; Lukas Rupprecht; Eric Seckler; Paolo Costa; Peter R. Pietzuch; Alexander L. Wolf; Nik Sultana; Jon Crowcroft; Anil Madhavapeddy; Andrew W. Moore 002; et al. (USENIX ATC, 2016)

A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers. - Henri Maxime Demoulin; Tavish Vaidya; Isaac Pedisich; Nik Sultana; Bowen Wang; Jingyu Qian; Yuankai Zhang 001; Ang Chen 001; Andreas Haeberlen; Boon Thau Loo; Linh Thi Xuan Phan; Micah Sherr; et al. (SIGCOMM Posters and Demos, 2017)

Emu: Rapid Prototyping of Networking Services. - Nik Sultana; Salvator Galea; David Greaves; Marcin Wójcik; Jonny Shipton; Richard G. Clegg; Luo Mai; Pietro Bressana; Robert Soulé; Richard Mortier; Paolo Costa; Peter R. Pietzuch; et al. (USENIX ATC, 2017)

Report on Networking and Programming Languages 2017. - Nikolaj S. Bjørner; Marco Canini; Nik Sultana (Comput. Commun. Rev., 2017)

Extending programs with debug-related features, with application to hardware development. - Nik Sultana; Salvator Galea; David Greaves; Marcin Wójcik; Noa Zilberman; Richard G. Clegg; Luo Mai; Richard Mortier; Peter R. Pietzuch; Jon Crowcroft; Andrew W. Moore 002 (CoRR, 2017)

Making Break-ups Less Painful: Source-level Support for Transforming Legacy Software into a Network of Tasks. - Nik Sultana; Achala Rao; Zihao Jin; Pardis Pashakhanloo; Henry Zhu; Ke Zhong; Boon Thau Loo (FEAST@CCS, 2018)

In-network computing to the rescue of faulty links. - Hans Giesen; Lei Shi 011; John Sonchack; Anirudh Chelluri; Nishanth Prabhu; Nik Sultana; Latha A. Kant; Anthony J. McAuley; Alexander Poylisher; André DeHon; Boon Thau Loo (NetCompute@SIGCOMM, 2018)

What we talk about when we talk about pcap expressions. - Nik Sultana (RWDSL@CGO, 2019)

Trace-based Behaviour Analysis of Network Servers. - Nik Sultana; Achala Rao; Zihao Jin; Pardis Pashakhanloo; Henry Zhu; Vinod Yegneswaran; Boon Thau Loo (CNSM, 2019)

An extensible evaluation system for DoS research. - Nik Sultana; Shilpi Bose; Boon Thau Loo (COMSNETS, 2019)

Hashtray: Turning the tables on Scalable Client Classification. - Nik Sultana; Pardis Pashakhanloo; Zihao Jin; Achala Rao; Boon Thau Loo (IM, 2019)

FDP: a teaching and demo platform for SDN. - Heena Nagda; Rakesh Nagda; Isaac Pedisich; Nik Sultana; Boon Thau Loo (CoNEXT, 2020)

Debugging strongly-compartmentalized distributed systems. - Henry Zhu; Nik Sultana; Boon Thau Loo (IPDPS Workshops, 2020)

IPC evolution thru declarative interface generation. - Nik Sultana; Saket; Andrew Zhao; Shubhendra Pal Singhal; Michael Kaplan; Rajesh Krishnan; Boon Thau Loo (DAI-SNAC@CoNEXT, 2021)

Demo: Disaggregated Dataplanes. - Heena Nagda; Rakesh Nagda; Nik Sultana; Boon Thau Loo (ICDCS, 2021)

Flightplan: Dataplane Disaggregation and Placement for P4 Programs. - Nik Sultana; John Sonchack; Hans Giesen; Isaac Pedisich; Zhaoyang Han; Nishanth Shyamkumar; Shivani Burad; André DeHon; Boon Thau Loo (NSDI, 2021)

Leveraging In-Network Application Awareness. - Nik Sultana (NAI@SIGCOMM, 2021)

FDP: A Teaching and Demonstration Platform for Networking. - Heena Nagda; Rakesh Nagda; Swapneel Sheth; Nik Sultana; Boon Thau Loo (SIGCSE, 2021)

Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation. - André DeHon; Hans Giesen; Nik Sultana; Yuanlong Xiao (CoRR, 2021)

Towards Practical Application-level Support for Privilege Separation. - Nik Sultana; Henry Zhu; Ke Zhong; Zhilei Zheng; Ruijie Mao; Digvijaysinh Chauhan; Stephen Carrasquillo; Junyong Zhao; Lei Shi 011; Nikos Vasilakis; Boon Thau Loo (ACSAC, 2022)

In-network fractional calculations using P4 for scientific computing workloads. - Shivam Patel; Rigden Atsatsang; Kenneth M. Tichauer; Michael H. L. S. Wang; James B. Kowalkowski; Nik Sultana (EuroP4@CoNEXT, 2022)

Work in Progress paper: Experiment Planning for Heterogeneous Programmable Networks. - Nik Sultana (DCOSS, 2022)

A case for remote attestation in programmable dataplanes. - Nik Sultana; Deborah Shands; Vinod Yegneswaran (HotNets, 2022)

Demo: The Hangar environment for Teaching and Research in Programmable Networking. - Nik Sultana (ICNP, 2022)

A Domain-Specific Language for Reconfigurable, Distributed Software Architecture. - Henry Zhu; Junyong Zhao; Nik Sultana (IPDPS Workshops, 2023)

Towards In-Network Semantic Analysis: A Case Study involving Spam Classification. - Cyprien Gueyraud; Nik Sultana (NOMS, 2023)

Shape-shifting Elephants: Multi-modal Transport for Integrated Research Infrastructure. - Nik Sultana; Yatish Kumar; Chin Guok; James B. Kowalkowski; Michael H. L. S. Wang (HotNets, 2024)

Towards Testbed-Wide Traffic Profiling for FABRIC. - Nishanth Shyamkumar; Sean Cummings; Hyunsuk Bang; Nik Sultana (INFOCOM (Workshops), 2024)

A Domain-Specific Language for Reconfigurable, Distributed Software. - Henry Zhu; Junyong Zhao; Nik Sultana (Int. J. Netw. Comput., 2024)

A Survey on Packet Filtering. - Nik Sultana; Hyunsuk Bang; Elena Yulaeva; Ricky K. P. Mok; K. C. Claffy; Richard Mortier (Comput. Commun. Rev., 2024)

Experience Report: Using the FABRIC Testbed to teach a Graduate Computer Networking course. - Alexander Wolosewicz; Prajwal Somendyapanahalli Venkateshmurthy; Nik Sultana (SIGCSE (1), 2025)