Nik Sultana

According to our database, Nik Sultana authored at least 39 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Domain-Specific Language for Reconfigurable, Distributed Software.

Henry Zhu, Junyong Zhao, Nik Sultana

Int. J. Netw. Comput., 2024

2023

Towards In-Network Semantic Analysis: A Case Study involving Spam Classification.

Cyprien Gueyraud, Nik Sultana

Proceedings of the NOMS 2023, 2023

A Domain-Specific Language for Reconfigurable, Distributed Software Architecture.

Henry Zhu, Junyong Zhao, Nik Sultana

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

2022

Demo: The Hangar environment for Teaching and Research in Programmable Networking.

Nik Sultana

Proceedings of the 30th IEEE International Conference on Network Protocols, 2022

A case for remote attestation in programmable dataplanes.

Nik Sultana, Deborah Shands, Vinod Yegneswaran

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

Work in Progress paper: Experiment Planning for Heterogeneous Programmable Networks.

Nik Sultana

Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 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

Proceedings of the 5th International Workshop on P4 in Europe, 2022

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, Nikos Vasilakis, Boon Thau Loo

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation.

André DeHon, Hans Giesen, Nik Sultana, Yuanlong Xiao

CoRR, 2021

FDP: A Teaching and Demonstration Platform for Networking.

Heena Nagda, Rakesh Nagda, Swapneel Sheth, Nik Sultana, Boon Thau Loo

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Leveraging In-Network Application Awareness.

Nik Sultana

Proceedings of the NAI'21: Proceedings of the ACM SIGCOMM 2021 Workshop on Network-Application Integration, 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

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Demo: Disaggregated Dataplanes.

Heena Nagda, Rakesh Nagda, Nik Sultana, Boon Thau Loo

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

IPC evolution thru declarative interface generation.

Nik Sultana, Saket, Andrew Zhao, Shubhendra Pal Singhal, Michael Kaplan, Rajesh Krishnan, Boon Thau Loo

Proceedings of the DAI-SNAC@CoNEXT 2021: Proceedings of the 2021 Workshop on Descriptive Approaches to IoT Security, 2021

2020

Debugging strongly-compartmentalized distributed systems.

Henry Zhu, Nik Sultana, Boon Thau Loo

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

FDP: a teaching and demo platform for SDN.

Heena Nagda, Rakesh Nagda, Isaac Pedisich, Nik Sultana, Boon Thau Loo

Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

2019

Hashtray: Turning the tables on Scalable Client Classification.

Nik Sultana, Pardis Pashakhanloo, Zihao Jin, Achala Rao, Boon Thau Loo

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

An extensible evaluation system for DoS research.

Nik Sultana, Shilpi Bose, Boon Thau Loo

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

Trace-based Behaviour Analysis of Network Servers.

Nik Sultana, Achala Rao, Zihao Jin, Pardis Pashakhanloo, Henry Zhu, Vinod Yegneswaran, Boon Thau Loo

Proceedings of the 15th International Conference on Network and Service Management, 2019

What we talk about when we talk about pcap expressions.

Nik Sultana

Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, 2019

2018

In-network computing to the rescue of faulty links.

Hans Giesen, Lei Shi, John Sonchack, Anirudh Chelluri, Nishanth Prabhu, Nik Sultana, Latha A. Kant, Anthony J. McAuley, Alexander Poylisher, André DeHon, Boon Thau Loo

Proceedings of the 2018 Morning Workshop on In-Network Computing, 2018

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

CoRR, 2017

Report on Networking and Programming Languages 2017.

Nikolaj S. Bjørner, Marco Canini, Nik Sultana

Comput. Commun. Rev., 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, Jon Crowcroft, Andrew W. Moore, Noa Zilberman

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

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, Ang Chen, Andreas Haeberlen, Boon Thau Loo, Linh Thi Xuan Phan, Micah Sherr, Clay Shields, Wenchao Zhou

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

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, Richard Mortier, Masoud Koleini, Luis Oviedo, Matteo Migliavacca, Derek McAuley

Proceedings of the 2016 USENIX Annual Technical Conference, 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

Proceedings of the ACM SIGCOMM Workshop on Hot topics in Middleboxes and Network Function Virtualization, 2016

Kneecap: Model-based Generation of Network Traffic.

Nik Sultana, Richard Mortier

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

The Higher-Order Prover Leo-II.

Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss

J. Autom. Reason., 2015

Systematic Verification of the Modal Logic Cube in Isabelle/HOL.

Christoph Benzmüller, Maximilian Claus, Nik Sultana

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Proofs and Reconstructions.

Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2013

LEO-II and Satallax on the Sledgehammer test bench.

Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson

J. Appl. Log., 2013

Update report: LEO-II version 1.5

Christoph Benzmüller, Nik Sultana

CoRR, 2013

Selective Disclosure in Datalog-Based Trust Management.

Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss

Proceedings of the Security and Trust Management - 9th International Workshop, 2013

LEO-II Version 1.5.

Christoph Benzmüller, Nik Sultana

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

2012

Foundations of Logic-Based Trust Management.

Moritz Y. Becker, Alessandra Russo, Nik Sultana

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Understanding LEO-II's proofs.

Nik Sultana, Christoph Benzmüller

Proceedings of the IWIL 2012: The 9th International Workshop on the Implementation of Logics, 2012

2008

Mechanical verification of refactorings.

Nik Sultana, Simon J. Thompson

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

Refactoring Functional Programs at the University of Kent.

Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana

Proceedings of the 1st Workshop on Refactoring Tools, 2007