BDG-torus union graph-an efficient algorithmically specializedparallel interconnect. - Neeraj Suri; Avi Mendelson; Dhiraj K. Pradhan (SPDP, 1991)

Reliability Modeling of Large Fault-Tolerant Systems. - Neeraj Suri; Michelle M. Hugue; Chris J. Walter (FTCS, 1992)

Synchronization issues in real-time systems. - Neeraj Suri; Michelle M. Hugue; Chris J. Walter (Proc. IEEE, 1994)

Cache based fault recovery for distributed systems. - Avi Mendelson; Neeraj Suri (ICECCS, 1997)

Formally Verified On-Line Diagnosis. - Chris J. Walter; Patrick Lincoln; Neeraj Suri (IEEE Trans. Software Eng., 1997)

On the Use of Formal Techniques for Validation. - Neeraj Suri; Purnendu Sinha (FTCS, 1998)

A Framework for Dependability Driven Software Integration. - Neeraj Suri; Sunundu Ghosh; Thomas J. Marlowe (ICDCS, 1998)

Identification of Test Cases Using a Formal Approach. - Purnendu Sinha; Neeraj Suri (FTCS, 1999)

On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. - Purnendu Sinha; Neeraj Suri (RTSS, 1999)

Editorial: Special Section on Dependable Real-Time Systems. - Neeraj Suri; Krithi Ramamritham (IEEE Trans. Parallel Distributed Syst., 1999)

Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. - Avi Mendelson; Neeraj Suri (DSN, 2000)

Evaluating COTS Standards for Design of Dependable Systems. - Chris J. Walter; Neeraj Suri; T. Monaghan (DSN, 2000)

An Approach for Analysing the Propagation of Data Errors in Software. - Martin Hiller; Arshad Jhumka; Neeraj Suri (DSN, 2001)

On Simplifying Modular Specification and Verification of Distributed Protocols. - Purnendu Sinha; Neeraj Suri (HASE, 2001)

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. - Purnendu Sinha; Neeraj Suri (ICDCS, 2001)

Efficient TDMA Synchronization for Distributed Embedded Systems. - Vilgot Claesson; Henrik Lönn; Neeraj Suri (SRDS, 2001)

Assessing Inter-Modular Error Propagation in Distributed Software. - Arshad Jhumka; Martin Hiller; Neeraj Suri (SRDS, 2001)

Design of a parallel interconnect based on communication pattern considerations. - Neeraj Suri; Avi Mendelson (Parallel Algorithms Appl., 2001)

On the Placement of Software Mechanisms for Detection of Data Errors. - Martin Hiller; Arshad Jhumka; Neeraj Suri (DSN, 2002)

Component-Based Synthesis of Dependable Embedded Software. - Arshad Jhumka; Martin Hiller; Neeraj Suri (FTRTFT, 2002)

An Approach to Specify and Test Component-Based Dependable Software. - Arshad Jhumka; Martin Hiller; Neeraj Suri (HASE, 2002)

PROPANE: an environment for examining the propagation of errors in software. - Martin Hiller; Arshad Jhumka; Neeraj Suri (ISSTA, 2002)

On systematic design of globally consistent executable assertions in embedded software. - Arshad Jhumka; Martin Hiller; Vilgot Claesson; Neeraj Suri (LCTES-SCOPES, 2002)

A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. - Örjan Askerdal; Magnus Gäfvert; Martin Hiller; Neeraj Suri (PRDC, 2002)

The Event-Triggered and Time-Triggered Medium-Access Methods. - Vilgot Claesson; Cecilia Ekelin; Neeraj Suri (ISORC, 2003)

Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. - Hermann Kopetz; Neeraj Suri (ISORC, 2003)

A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. - Arshad Jhumka; Neeraj Suri; Martin Hiller (SCOPES, 2003)

Practical Aspects of IP Take-Over Mechanisms. - Christof Fetzer; Neeraj Suri (WORDS Fall, 2003)

On the Limits of the Precise Specification of Component Interfaces. - Hermann Kopetz; Neeraj Suri (WORDS Fall, 2003)

The customizable fault/error model for dependable distributed systems. - Chris J. Walter; Neeraj Suri (Theor. Comput. Sci., 2003)

An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. - Arshad Jhumka; Martin Hiller; Neeraj Suri (HASE, 2004)

TTET: Event-Triggered Channels on a Time-Triggered Base. - Vilgot Claesson; Neeraj Suri (ICECCS, 2004)

On Enhancing the Robustness of Commercial Operating Systems. - Andréas Johansson; Adina Sarbu; Arshad Jhumka; Neeraj Suri (ISAS, 2004)

Panel Summary Statements. - Raphael R. Some; Algirdas Avizienis; Jiri Gaisler; Hirokazu Ihara; Shubu Mukherjee; Neeraj Suri (PRDC, 2004)

Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? - K. H. (Kane) Kim; Paul D. Ezhilchelvan; Jörg Kaiser; Louise E. Moser; Edgar Nett; Neeraj Suri (SRDS, 2004)

Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?). - Neeraj Suri (SRDS, 2004)

On Dependability Driven Software and Hardware Integration. - Neeraj Suri (WSTFEUS, 2004)

EPIC: Profiling the Propagation and Effect of Data Errors in Software. - Martin Hiller; Arshad Jhumka; Neeraj Suri (IEEE Trans. Computers, 2004)

An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems. - Vilgot Claesson; Henrik Lönn; Neeraj Suri (IEEE Trans. Parallel Distributed Syst., 2004)

Error Propagation Profiling of Operating Systems. - Andréas Johansson; Neeraj Suri (DSN, 2005)

Designing Efficient Fail-Safe Multitolerant Systems. - Arshad Jhumka; Neeraj Suri (FORTE, 2005)

One-step Consensus with Zero-Degradation. - Dan Dobre; Neeraj Suri (DSN, 2006)

Improving Robustness Testing of COTS OS Extensions. - Constantin Sârbu; Andréas Johansson; Falk Fraikin; Neeraj Suri (ISAS, 2006)

Dependability Driven Integration of Mixed Criticality SW Components. - Shariful Islam; Robert Lindstrom; Neeraj Suri (ISORC, 2006)

FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (SRDS, 2006)

An approach to synthesise safe systems. - Arshad Jhumka; Felix C. Freiling; Christof Fetzer; Neeraj Suri (Int. J. Secur. Networks, 2006)

On the Selection of Error Model(s) for OS Robustness Evaluation. - Andréas Johansson; Neeraj Suri; Brendan Murphy (DSN, 2007)

A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. - Marco Serafini; Neeraj Suri; Jonny Vinter; Astrit Ademaj; Wolfgang Brandstätter; Fulvio Tagliabo; Jens Koch (DSN, 2007)

A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems. - Shariful Islam; Neeraj Suri (EUC, 2007)

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. - Péter Bokor; Marco Serafini; Áron Sisak; András Pataricza; Neeraj Suri (HASE, 2007)

On the Impact of Injection Triggers for OS Robustness Evaluation. - Andréas Johansson; Neeraj Suri; Brendan Murphy (ISSRE, 2007)

Gossiping: Adaptive and Reliable Broadcasting in MANETs. - Abdelmajid Khelil; Neeraj Suri (LADC, 2007)

On Modeling the Reliability of Data Transport in Wireless Sensor Networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Neeraj Suri (PDP, 2007)

On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. - Dan Dobre; HariGovind V. Ramasamy; Neeraj Suri (SRDS, 2007)

The Fail-Heterogeneous Architectural Model. - Marco Serafini; Neeraj Suri (SRDS, 2007)

Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. - Marco Serafini; Andrea Bondavalli; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2007)

MWM: a map-based world model for wireless sensor networks. - Abdelmajid Khelil; Faisal Karim Shaikh; Brahim Ayari; Neeraj Suri (Autonomics, 2008)

INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project. - Salvatore D'Antonio; Luigi Romano; Abdelmajid Khelil; Neeraj Suri (CRITIS, 2008)

Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems. - Neeraj Suri; Christof Fetzer; Jacob A. Abraham; Stefan Poledna; Avi Mendelson; Subhasish Mitra (DATE, 2008)

Message from the DCCS program chair. - Neeraj Suri (DSN, 2008)

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. - Kohei Sakurai; Péter Bokor; Neeraj Suri (HASE, 2008)

Execution Path Profiling for OS Device Drivers: Viability and Methodology. - Constantin Sârbu; Andréas Johansson; Neeraj Suri (ISAS, 2008)

Low-latency access to robust amnesic storage. - Dan Dobre; Matthias Majuntke; Neeraj Suri (LADIS, 2008)

Reducing the costs of large-scale BFT replication. - Marco Serafini; Neeraj Suri (LADIS, 2008)

On the Time-Complexity of Robust and Amnesic Storage. - Dan Dobre; Matthias Majuntke; Neeraj Suri (OPODIS, 2008)

Delay-Aware Mobile Transactions. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (SEUS, 2008)

A comparative study of data transport protocols in wireless sensor networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Neeraj Suri (WOWMOM, 2008)

MPM: Map Based Predictive Monitoring for Wireless Sensor Networks. - Azad Ali; Abdelmajid Khelil; Faisal Karim Shaikh; Neeraj Suri (Autonomics, 2009)

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (ICFEM, 2009)

AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Neeraj Suri (ICWN, 2009)

Abortable Fork-Linearizable Storage. - Matthias Majuntke; Dan Dobre; Marco Serafini; Neeraj Suri (OPODIS, 2009)

MAP++: support for map-based WSN modeling and design with OMNeT++. - Piotr Szczytowski; Abdelmajid Khelil; Neeraj Suri (SimuTools, 2009)

Efficient Robust Storage Using Secret Tokens. - Dan Dobre; Matthias Majuntke; Marco Serafini; Neeraj Suri (SSS, 2009)

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (DISC, 2009)

An optimization based design for integrated dependable real-time embedded systems. - Shariful Islam; Neeraj Suri; András Balogh; György Csertán; András Pataricza (Des. Autom. Embed. Syst., 2009)

Increasing security and protection of SCADA systems through infrastructure resilience. - Salvatore D'Antonio; Luigi Romano; Abdelmajid Khelil; Neeraj Suri (Int. J. Syst. Syst. Eng., 2009)

Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (J. Softw., 2009)

Map-based Design for Autonomic Wireless Sensor Networks. - Abdelmajid Khelil; Faisal Karim Shaikh; Piotr Szczytowski; Brahim Ayari; Neeraj Suri (Autonomic Communication, 2010)

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. - Marco Serafini; Péter Bokor; Dan Dobre; Matthias Majuntke; Neeraj Suri (DSN, 2010)

HP: Hybrid Paxos for WANs. - Dan Dobre; Matthias Majuntke; Marco Serafini; Neeraj Suri (EDCC, 2010)

On Efficient Models for Model Checking Message-Passing Distributed Protocols. - Péter Bokor; Marco Serafini; Neeraj Suri (FMOODS/FORTE, 2010)

Quality of information in wireless sensor networks. - Vinay Sachidananda; Abdelmajid Khelil; Neeraj Suri (ICIQ, 2010)

Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. - Daniel Germanus; Abdelmajid Khelil; Neeraj Suri (ISARCS, 2010)

LEHP: Localized energy hole profiling in Wireless Sensor Networks. - Piotr Szczytowski; Abdelmajid Khelil; Neeraj Suri (ISCC, 2010)

Leveraging the next-generation power grid: Data sharing and associated partnerships. - Daniel Germanus; Ioanna Dionysiou; K. Harald Gjermundrød; Abdelmajid Khelil; Neeraj Suri; David E. Bakken; Carl Hauser (ISGT Europe, 2010)

ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (Mobile Data Management, 2010)

Data-Based Agreement for Inter-vehicle Coordination. - Brahim Ayari; Abdelmajid Khelil; Kamel Saffar; Neeraj Suri (Mobile Data Management, 2010)

Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective. - Abdelmajid Khelil; Sebastian Jeckel; Daniel Germanus; Neeraj Suri (MOBILIGHT, 2010)

Eventually linearizable shared objects. - Marco Serafini; Dan Dobre; Matthias Majuntke; Péter Bokor; Neeraj Suri (PODC, 2010)

INDEXYS, a Logical Step beyond GENESYS. - Andreas Eckel; Paul Milbredt; Zaid Al-Ars; Stefan Schneele; Bart Vermeulen; György Csertán; Christoph Scheerer; Neeraj Suri; Abdelmajid Khelil; Gerhard Fohler (SAFECOMP, 2010)

Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks. - Mohammadreza Mahmudimanesh; Abdelmajid Khelil; Neeraj Suri (SUTC/UMC, 2010)

Generic Information Transport for Wireless Sensor Networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Brahim Ayari; Piotr Szczytowski; Neeraj Suri (SUTC/UMC, 2010)

ASample: Adaptive Spatial Sampling in Wireless Sensor Networks. - Piotr Szczytowski; Abdelmajid Khelil; Neeraj Suri (SUTC/UMC, 2010)

TRCCIT: Tunable Reliability with Congestion Control for Information Transport in Wireless Sensor Networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Azad Ali; Neeraj Suri (WICON, 2010)

Profiling the operational behavior of OS device drivers. - Constantin Sârbu; Andréas Johansson; Neeraj Suri; Nachiappan Nagappan (Empir. Softw. Eng., 2010)

A software integration approach for designing and assessing dependable embedded systems. - Neeraj Suri; Arshad Jhumka; Martin Hiller; András Pataricza; Shariful Islam; Constantin Sârbu (J. Syst. Softw., 2010)

A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation. - Neeraj Suri; Purnendu Sinha (J. Softw., 2010)

Using Underutilized CPU Resources to Enhance Its Reliability. - Avi Timor; Avi Mendelson; Yitzhak Birk; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2010)

Delay Tolerant Monitoring of Mobility-Assisted WSN. - Abdelmajid Khelil; Faisal Karim Shaikh; Azad Ali; Neeraj Suri; Christian Reinl (Delay Tolerant Networks, 2011)

Building a Long Term Strategy for International Collaboration in Trustworthy ICT: Security, Privacy and Trust in Global Networks and Services. - James Clarke; Neeraj Suri; Michel Riguidel; Aljosa Pasic (SysSec@DIMVA, 2011)

Efficient model checking of fault-tolerant distributed protocols. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (DSN, 2011)

The impact of fault models on software robustness evaluations. - Stefan Winter 001; Constantin Sârbu; Neeraj Suri; Brendan Murphy (ICSE, 2011)

Assessing the comparative effectiveness of map construction protocols in wireless sensor networks. - Abdelmajid Khelil; Hanbin Chang; Neeraj Suri (IPCCC, 2011)

Supporting domain-specific state space reductions through local partial-order reduction. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (ASE, 2011)

An adaptive and composite spatio-temporal data compression approach for wireless sensor networks. - Azad Ali; Abdelmajid Khelil; Piotr Szczytowski; Neeraj Suri (MSWiM, 2011)

Fork-Consistent Constructions from Registers. - Matthias Majuntke; Dan Dobre; Christian Cachin; Neeraj Suri (OPODIS, 2011)

Enhancing FPGA Robustness via Generic Monitoring IP Cores. - Alexander Biedermann; Thorsten Piper; Lars Patzina; Sven Patzina; Sorin A. Huss; Andy Schürr; Neeraj Suri (PECCS, 2011)

The complexity of robust atomic storage. - Dan Dobre; Rachid Guerraoui; Matthias Majuntke; Neeraj Suri; Marko Vukolic (PODC, 2011)

Fork-consistent constructions from registers. - Matthias Majuntke; Dan Dobre; Neeraj Suri (PODC, 2011)

TOM: Topology oriented maintenance in sparse Wireless Sensor Networks. - Piotr Szczytowski; Abdelmajid Khelil; Azad Ali; Neeraj Suri (SECON, 2011)

A Security Metrics Framework for the Cloud. - Jesus Luna Garcia; Hamza Ghani; Daniel Germanus; Neeraj Suri (SECRYPT, 2011)

Reliable congestion-aware information transport in wireless sensor networks. - Faisal Karim Shaikh; Abdelmajid Khelil; Azad Ali; Neeraj Suri (Int. J. Commun. Networks Distributed Syst., 2011)

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems. - Marco Serafini; Péter Bokor; Neeraj Suri; Jonny Vinter; Astrit Ademaj; Wolfgang Brandstätter; Fulvio Tagliabo; Jens Koch (IEEE Trans. Dependable Secur. Comput., 2011)

On the design of perturbation-resilient atomic commit protocols for mobile transactions. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (ACM Trans. Comput. Syst., 2011)

Monitoring and Evaluation of Semantic Rooms. - Paulo Esteves Verssimo; László Gönczy; György Csertán; Gábor Urbanics; Hamza Ghani; Abdelmajid Khelil; Neeraj Suri (Collaborative Financial Infrastructure Protection, 2012)

Benchmarking cloud security level agreements using quantitative policy trees. - Jesus Luna Garcia; Robert Langenberg; Neeraj Suri (CCSW, 2012)

Privacy-by-design based on quantitative threat modeling. - Jesus Luna Garcia; Neeraj Suri; Ioannis Krontiris (CRiSIS, 2012)

Instrumenting AUTOSAR for dependability assessment: A guidance framework. - Thorsten Piper; Stefan Winter 001; Paul Manns; Neeraj Suri (DSN, 2012)

Balanced spatio-temporal compressive sensing for multi-hop wireless sensor networks. - Mohammadreza Mahmudimanesh; Abdelmajid Khelil; Neeraj Suri (MASS, 2012)

Quantitative Assessment of Cloud Security Level Agreements - A Case Study. - Jesus Luna Garcia; Hamza Ghani; Tsvetoslava Vateva; Neeraj Suri (SECRYPT, 2012)

Trust & security RTD in the internet of things: opportunities for international cooperation. - James Clarke; Rodrigo Roman Castro; Abhishek Sharma; Javier López 001; Neeraj Suri (SECURIT, 2012)

Susceptibility Analysis of Structured P2P Systems to Localized Eclipse Attacks. - Daniel Germanus; Robert Langenberg; Abdelmajid Khelil; Neeraj Suri (SRDS, 2012)

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. - Can Arda Muftuoglu; Péter Bokor; Neeraj Suri (SSS, 2012)

DKM: Distributed k-connectivity maintenance in Wireless Sensor Networks. - Piotr Szczytowski; Abdelmajid Khelil; Neeraj Suri (WONS, 2012)

Proofs of Writing for Efficient and Robust Storage - Dan Dobre; Ghassan Karame; Wenting Li 001; Matthias Majuntke; Neeraj Suri; Marko Vukolic (CoRR, 2012)

Efficient predictive monitoring of wireless sensor networks. - Azad Ali; Abdelmajid Khelil; Faisal Karim Shaikh; Neeraj Suri (Int. J. Auton. Adapt. Commun. Syst., 2012)

Protection of SCADA Communication Channels. - Abdelmajid Khelil; Daniel Germanus; Neeraj Suri (Critical Infrastructure Protection, 2012)

PoWerStore: proofs of writing for efficient and robust storage. - Dan Dobre; Ghassan Karame; Wenting Li 001; Matthias Majuntke; Neeraj Suri; Marko Vukolic (CCS, 2013)

Negotiating and Brokering Cloud Resources based on Security Level Agreements. - Jesus Luna Garcia; Tsvetoslava Vateva-Gurova; Neeraj Suri; Massimiliano Rak; Loredana Liccardo (CLOSER, 2013)

SecLA-Based Negotiation and Brokering of Cloud Resources. - Jesus Luna; Tsvetoslava Vateva-Gurova; Neeraj Suri; Massimiliano Rak; Alessandra De Benedictis (CLOSER (Selected Papers), 2013)

Security as a Service Using an SLA-Based Approach via SPECS. - Massimiliano Rak; Neeraj Suri; Jesus Luna; Dana Petcu; Valentina Casola; Umberto Villano (CloudCom (2), 2013)

Predictive vulnerability scoring in the context of insufficient information availability. - Hamza Ghani; Jesus Luna; Abdelmajid Khelil; Najib Alkadri; Neeraj Suri (CRiSIS, 2013)

Quantitative assessment of software vulnerabilities based on economic-driven security metrics. - Hamza Ghani; Jesus Luna; Neeraj Suri (CRiSIS, 2013)

Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. - Feng Tan; Yufei Wang 004; Qixin Wang; Lei Bu; Rong Zheng 001; Neeraj Suri (DSN, 2013)

simFI: From single to simultaneous software fault injections. - Stefan Winter 001; Michael Tretter; Benjamin Sattler; Neeraj Suri (DSN, 2013)

Trading transport timeliness and reliability for efficiency in wireless sensor networks. - Vinay Sachidananda; Abdelmajid Khelil; Dhananjay Umap; Matthias Majuntke; Neeraj Suri (ICNSC, 2013)

Information quality aware co-design of sampling and transport in wireless sensor networks. - Vinay Sachidananda; Abdelmajid Khelil; David Noack; Neeraj Suri (WMNC, 2013)

Coral: Reliable and low-latency P2P convergecast for critical sensor data collection. - Daniel Germanus; Abdelmajid Khelil; Johannes Schwandke; Neeraj Suri (SmartGridComm, 2013)

Efficient Verification of Distributed Protocols Using Stateful Model Checking. - Habib Saissi; Péter Bokor; Can Arda Muftuoglu; Neeraj Suri; Marco Serafini (SRDS, 2013)

Sampling and transport co-design in Wireless Sensor Networks. - Vinay Sachidananda; Abdelmajid Khelil; David Noack; Neeraj Suri (WONS, 2013)

GMTC: A Generalized Commit Approach for Hybrid Mobile Environments. - Brahim Ayari; Abdelmajid Khelil; Neeraj Suri (IEEE Trans. Mob. Comput., 2013)

Event Pattern Discovery on IDS Traces of Cloud Services. - Shin-Ying Huang; Yennun Huang; Neeraj Suri (BDCloud, 2014)

Mitigating Eclipse attacks in Peer-To-Peer networks. - Daniel Germanus; Stefanie Roos; Thorsten Strufe; Neeraj Suri (CNS, 2014)

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CPSNA, 2014)

Efficient Agile Sink Selection in Wireless Sensor Networks Based on Compressed Sensing. - Mohammadreza Mahmudimanesh; Amir Naseri; Neeraj Suri (DCOSS, 2014)

Robust Compressive Data Gathering in Wireless Sensor Networks with Linear Topology. - Mohammadreza Mahmudimanesh; Neeraj Suri (DCOSS, 2014)

User-Centric Security Assessment of Software Configurations: A Case Study. - Hamza Ghani; Jesus Luna Garcia; Ivaylo Petkov; Neeraj Suri (ESSoS, 2014)

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. - Feng Tan; Liansheng Liu; Stefan Winter 001; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng 002; Xue Liu 001; Xiyuan Peng (ICCPS, 2014)

On the Feasibility of Side-Channel Attacks in a Virtualized Environment. - Tsvetoslava Vateva-Gurova; Jesus Luna; Giancarlo Pellegrino; Neeraj Suri (ICETE (Selected Papers), 2014)

An empirical study of injected versus actual interface errors. - Anna Lanzaro; Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (ISSTA, 2014)

Towards a Framework for Benchmarking Privacy-ABC Technologies. - Fatbardh Veseli; Tsvetoslava Vateva-Gurova; Ioannis Krontiris; Kai Rannenberg; Neeraj Suri (SEC, 2014)

Agile sink selection in wireless sensor networks. - Mohammadreza Mahmudimanesh; Neeraj Suri (SECON, 2014)

Towards a Framework for Assessing the Feasibility of Side-channel Attacks in Virtualized Environments. - Tsvetoslava Vateva-Gurova; Jesus Luna; Giancarlo Pellegrino; Neeraj Suri (SECRYPT, 2014)

Robust and real-time communication on heterogeneous networks for smart distribution grid. - Kubilay Demir 001; Daniel Germanus; Neeraj Suri (SmartGridComm, 2014)

AHP-Based Quantitative Approach for Assessing and Comparing Cloud Security. - Ahmed Taha 002; Rubén Trapero; Jesus Luna; Neeraj Suri (TrustCom, 2014)

Assessing the security of internet-connected critical infrastructures. - Hamza Ghani; Abdelmajid Khelil; Neeraj Suri; György Csertán; László Gönczy; Gábor Urbanics; James Clarke (Secur. Commun. Networks, 2014)

Technical Implementation and Feasibility. - Gert Læssøe Mikkelsen; Kasper Damgård; Hans Guldager; Jonas Lindstrøm Jensen; Jesus Luna Garcia; Janus Dam Nielsen; Pascal Paillier; Giancarlo Pellegrino; Michael Bladt Stausholm; Neeraj Suri; Heng Zhang 009 (Attribute-based Credentials for Trust, 2015)

The Impact of Hypervisor Scheduling on Compromising Virtualized Environments. - Tsvetoslava Vateva-Gurova; Neeraj Suri; Avi Mendelson (CIT/IUCC/DASC/PICom, 2015)

PBMC: Symbolic Slicing for the Verification of Concurrent Programs. - Habib Saissi; Péter Bokor; Neeraj Suri (ATVA, 2015)

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. - Thorsten Piper; Stefan Winter 001; Neeraj Suri; Thomas E. Fuhrman (EDCC, 2015)

Detecting and Mitigating P2P Eclipse Attacks. - Hatem Ismail; Daniel Germanus; Neeraj Suri (ICPADS, 2015)

GRINDER: On Reusability of Fault Injection Tools. - Stefan Winter 001; Thorsten Piper; Oliver Schwahn; Roberto Natella; Neeraj Suri; Domenico Cotroneo (AST@ICSE, 2015)

Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems. - Thorsten Piper; Stefan Winter 001; Oliver Schwahn; Suman Bidarahalli; Neeraj Suri (ISORC, 2015)

Error models for the representative injection of software defects. - Anna Lanzaro; Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (Software Engineering & Management, 2015)

FTDE: Distributed Fault Tolerance for WSN Data Collection and Compression Schemes. - Azad Ali; Abdelmajid Khelil; Neeraj Suri (SRDS, 2015)

PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation. - Daniel Germanus; Hatem Ismail; Neeraj Suri (SRDS, 2015)

In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services. - Giancarlo Pellegrino; Davide Balzarotti; Stefan Winter 001; Neeraj Suri (USENIX Security Symposium, 2015)

Leveraging the Potential of Cloud Security Service-Level Agreements through Standards. - Jesus Luna; Neeraj Suri; Michaela Iorga; Anil Karmel (IEEE Cloud Comput., 2015)

Adaptive Hybrid Compression for Wireless Sensor Networks. - Azad Ali; Abdelmajid Khelil; Neeraj Suri; Mohammadreza Mahmudimanesh (ACM Trans. Sens. Networks, 2015)

A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking. - Feng Tan; Yufei Wang 004; Qixin Wang; Lei Bu; Neeraj Suri (IEEE Trans. Parallel Distributed Syst., 2015)

Efficient Verification of Program Fragments: Eager POR. - Patrick Metzler; Habib Saissi; Péter Bokor; Robin Hesse; Neeraj Suri (ATVA, 2016)

Identifying and Utilizing Dependencies Across Cloud Security Services. - Ahmed Taha 002; Patrick Metzler; Rubén Trapero; Jesus Luna; Neeraj Suri (AsiaCCS, 2016)

Malicious peers eviction for P2P overlays. - Hatem Ismail; Daniel Germanus; Neeraj Suri (CNS, 2016)

Practical Formal Verification for Model Based Development of Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CSE/EUC/DCABES, 2016)

Reliable Memory Efficient Name Forwarding in Named Data Networking. - Divya Saxena; Vaskar Raychoudhury; Christian Becker 001; Neeraj Suri (CSE/EUC/DCABES, 2016)

No PAIN, no gain? the utility of parallel fault injections. - Stefan Winter 001; Oliver Schwahn; Roberto Natella; Neeraj Suri; Domenico Cotroneo (Software Engineering, 2016)

Trust Validation of Cloud IaaS: A Customer-centric Approach. - Salman Manzoor; Ahmed Taha 002; Neeraj Suri (Trustcom/BigDataSE/ISPA, 2016)

SENTRY: A Novel Approach for Mitigating Application Layer DDoS Threats. - Heng Zhang 009; Ahmed Taha 002; Rubén Trapero; Jesus Luna; Neeraj Suri (Trustcom/BigDataSE/ISPA, 2016)

Novel efficient techniques for real-time cloud security assessment. - Jolanda Modic; Rubén Trapero; Ahmed Taha 002; Jesus Luna; Miha Stopar; Neeraj Suri (Comput. Secur., 2016)

Named Data Networking: A survey. - Divya Saxena; Vaskar Raychoudhury; Neeraj Suri; Christian Becker 001; Jiannong Cao 001 (Comput. Sci. Rev., 2016)

On Choosing Server- or Client-Side Solutions for BFT. - Marco Platania; Daniel Obenshain; Thomas Tantillo; Yair Amir; Neeraj Suri (ACM Comput. Surv., 2016)

Quantifiably Trusting the Cloud: Putting Metrics to Work. - Rubén Trapero; Jesus Luna; Neeraj Suri (IEEE Secur. Priv., 2016)

Run Time Application Repartitioning in Dynamic Mobile Cloud Environments. - Lei Yang 024; Jiannong Cao 001; Shaojie Tang 001; Di Han 002; Neeraj Suri (IEEE Trans. Cloud Comput., 2016)

C'mon: Monitoring the Compliance of Cloud Services to Contracted Properties. - Soha Alboghdady; Stefan Winter 001; Ahmed Taha 002; Heng Zhang 009; Neeraj Suri (ARES, 2017)

Towards DDoS Attack Resilient Wide Area Monitoring Systems. - Kubilay Demir 001; Neeraj Suri (ARES, 2017)

AttackDive: Diving Deep into the Cloud Ecosystem to Explore Attack Surfaces. - Salman Manzoor; Jesus Luna; Neeraj Suri (SCC, 2017)

A Framework for Ranking Cloud Security Services. - Ahmed Taha 002; Rubén Trapero; Jesus Luna; Neeraj Suri (SCC, 2017)

deQAM: A Dependency Based Indirect Monitoring Approach for Cloud Services. - Heng Zhang 009; Rubén Trapero; Jesus Luna; Neeraj Suri (SCC, 2017)

SLA-Based Service Selection for Multi-Cloud Environments. - Ahmed Taha 002; Salman Manzoor; Neeraj Suri (EDGE, 2017)

Challenges and Approaches in Securing Safety-Relevant Railway Signalling. - Christian Schlehuber; Markus Heinrich; Tsvetoslava Vateva-Gurova; Stefan Katzenbeisser 001; Neeraj Suri (EuroS&P Workshops, 2017)

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. - Abraham Chan; Stefan Winter 001; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (ICST, 2017)

TrEKer: tracing error propagation in operating system kernels. - Nicolas Coppik; Oliver Schwahn; Stefan Winter 001; Neeraj Suri (ASE, 2017)

Quick verification of concurrent programs by iteratively relaxed scheduling. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (ASE, 2017)

SeReCP: A Secure and Reliable Communication Platform for the Smart Grid. - Kubilay Demir 001; Neeraj Suri (PRDC, 2017)

A Security Architecture for Railway Signalling. - Christian Schlehuber; Markus Heinrich; Tsvetoslava Vateva-Gurova; Stefan Katzenbeisser 001; Neeraj Suri (SAFECOMP, 2017)

P2P routing table poisoning: A quorum-based sanitizing approach. - Hatem Ismail; Daniel Germanus; Neeraj Suri (Comput. Secur., 2017)

A novel approach to manage cloud security SLA incidents. - Rubén Trapero; Jolanda Modic; Miha Stopar; Ahmed Taha 002; Neeraj Suri (Future Gener. Comput. Syst., 2017)

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (J. Inf. Process., 2017)

Robust QoS-aware communication in the smart distribution grid. - Kubilay Demir 001; Daniel Germanus; Neeraj Suri (Peer-to-Peer Netw. Appl., 2017)

Quantitative Reasoning about Cloud Security Using Service Level Agreements. - Jesus Luna; Ahmed Taha 002; Rubén Trapero; Neeraj Suri (IEEE Trans. Cloud Comput., 2017)

Flashlight: A Novel Monitoring Path Identification Schema for Securing Cloud Services. - Heng Zhang 009; Jesus Luna; Neeraj Suri; Rubén Trapero (ARES, 2018)

A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. - Henk Birkholz; Christoph Krauß; Maria Zhdanova; Don Kuzhiyelil; Tolga Arul; Markus Heinrich; Stefan Katzenbeisser 001; Neeraj Suri; Tsvetoslava Vateva-Gurova; Christian Schlehuber (MILS@DSN, 2018)

Threat Modeling and Analysis for the Cloud Ecosystem. - Salman Manzoor; Heng Zhang 009; Neeraj Suri (IC2E, 2018)

Monitoring Path Discovery for Supporting Indirect Monitoring of Cloud Services. - Heng Zhang 009; Salman Manzoor; Neeraj Suri (IC2E, 2018)

FastFI: Accelerating Software Fault Injections. - Oliver Schwahn; Nicolas Coppik; Stefan Winter 001; Neeraj Suri (PRDC, 2018)

Exploring the Relationship Between Dimensionality Reduction and Private Data Release. - Bo-Chen Tai; Szu-Chuang Li; Yennun Huang; Neeraj Suri; Pang-Chieh Wang (PRDC, 2018)

InfoLeak: Scheduling-Based Information Leakage. - Tsvetoslava Vateva-Gurova; Salman Manzoor; Yennun Huang; Neeraj Suri (PRDC, 2018)

On the Detection of Side-Channel Attacks. - Tsvetoslava Vateva-Gurova; Neeraj Suri (PRDC, 2018)

Threat Modeling the Cloud: An Ontology Based Approach. - Salman Manzoor; Tsvetoslava Vateva-Gurova; Rubén Trapero; Neeraj Suri (IOSec@RAID, 2018)

Protecting Cloud-Based CIs: Covert Channel Vulnerabilities at the Resource Level. - Tsvetoslava Vateva-Gurova; Salman Manzoor; Rubén Trapero; Neeraj Suri (IOSec@RAID, 2018)

Whetstone: Reliable Monitoring of Cloud Services. - Heng Zhang 009; Jesus Luna; Rubén Trapero; Neeraj Suri (SMARTCOMP, 2018)

A Composite Malicious Peer Eviction Mechanism for Super-P2P Systems. - Hatem Ismail; Stefanie Roos; Neeraj Suri (TrustCom/BigDataSE, 2018)

A Detection Mechanism for Internal Attacks on Pull-Based P2P Streaming Systems. - Hatem Ismail; Stefanie Roos; Neeraj Suri (WOWMOM, 2018)

Scaling Out Acid Applications with Operation Partitioning. - Habib Saissi; Marco Serafini; Neeraj Suri (CoRR, 2018)

QRES: Quantitative Reasoning on Encrypted Security SLAs. - Ahmed Taha 002; Spyros Boukoros; Jesus Luna; Stefan Katzenbeisser 001; Neeraj Suri (CoRR, 2018)

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (CoRR, 2018)

Securing the cloud-assisted smart grid. - Kubilay Demir 001; Hatem Ismail; Tsvetoslava Vateva-Gurova; Neeraj Suri (Int. J. Crit. Infrastructure Prot., 2018)

How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code. - Oliver Schwahn; Stefan Winter 001; Nicolas Coppik; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2018)

MemFuzz: Using Memory Accesses to Guide Fuzzing. - Nicolas Coppik; Oliver Schwahn; Neeraj Suri (ICST, 2019)

Inferring Performance Bug Patterns from Developer Commits. - Yiqun Chen; Stefan Winter 001; Neeraj Suri (ISSRE, 2019)

Analyzing and Improving Customer-Side Cloud Security Certifiability. - Shujie Zhao; Yiqun Chen; Stefan Winter 001; Neeraj Suri (ISSRE Workshops, 2019)

Assessing the state and improving the art of parallel testing for C. - Oliver Schwahn; Nicolas Coppik; Stefan Winter 001; Neeraj Suri (ISSTA, 2019)

Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. - Habib Saissi; Marco Serafini; Neeraj Suri (SRDS, 2019)

MPTCP-H: A DDoS attack resilient transport protocol to secure wide area measurement systems. - Kubilay Demir 001; Ferdaus Nayyer; Neeraj Suri (Int. J. Crit. Infrastructure Prot., 2019)

Security Requirements Engineering in Safety-Critical Railway Signalling Networks. - Markus Heinrich; Tsvetoslava Vateva-Gurova; Tolga Arul; Stefan Katzenbeisser 001; Neeraj Suri; Henk Birkholz; Andreas Fuchs 002; Christoph Krauß; Maria Zhdanova; Don Kuzhiyelil; Sergey Tverdyshev; Christian Schlehuber (Secur. Commun. Networks, 2019)

Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. - Feng Tan; Liansheng Liu; Stefan Winter 001; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng 002; Xue Liu 001; Xiyuan Peng (ACM Trans. Cyber Phys. Syst., 2019)

Proofs of Writing for Robust Storage. - Dan Dobre; Ghassan O. Karame; Wenting Li 001; Matthias Majuntke; Neeraj Suri; Marko Vukolic (IEEE Trans. Parallel Distributed Syst., 2019)

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. - Habib Saissi; Stefan Winter 001; Oliver Schwahn; Karthik Pattabiraman; Neeraj Suri (DSN, 2020)

Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure. - Ahmed Taha 002; Ahmed Zakaria; Dong Seong Kim 001; Neeraj Suri (IC2E, 2020)

Extracting safe thread schedules from incomplete model checking results. - Patrick Metzler; Neeraj Suri; Georg Weissenbacher (Int. J. Softw. Tools Technol. Transf., 2020)

Analyzing the Effects of Bugs on Software Interfaces. - Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (IEEE Trans. Software Eng., 2020)

Fast Kernel Error Propagation Analysis in Virtualized Environments. - Nicolas Coppik; Oliver Schwahn; Neeraj Suri (ICST, 2021)

Failure Diagnosis for Cluster Systems using Partial Correlations. - Edward Chuah; Arshad Jhumka; Samantha Alt; R. Todd Evans; Neeraj Suri (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Challenges in Identifying Network Attacks Using Netflow Data. - Edward Chuah; Neeraj Suri; Arshad Jhumka; Samantha Alt (NCA, 2021)

PCaaD: Towards automated determination and exploitation of industrial systems. - Benjamin Green 001; Richard Derbyshire; Marina Krotofil; William Knowles; Daniel Prince; Neeraj Suri (Comput. Secur., 2021)

PCaaD: Towards Automated Determination and Exploitation of Industrial Processes. - Benjamin Green 001; William Knowles; Marina Krotofil; Richard Derbyshire; Daniel Prince; Neeraj Suri (CoRR, 2021)

Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud. - Salman Manzoor; Antonios Gouglidis; Matthew Bradbury; Neeraj Suri (CCS, 2022)

Poster: Multi-Layer Threat Analysis of the Cloud. - Salman Manzoor; Antonios Gouglidis; Matthew Bradbury; Neeraj Suri (CCS, 2022)

Understanding the confounding factors of inter-domain routing modeling. - Savvas Kastanakis; Vasileios Giotsas; Neeraj Suri (IMC, 2022)

Towards Effective Performance Fuzzing. - Yiqun Chen; Matthew Bradbury; Neeraj Suri (ISSRE Workshops, 2022)

SlowCoach: Mutating Code to Simulate Performance Bugs. - Yiqun Chen; Oliver Schwahn; Roberto Natella; Matthew Bradbury; Neeraj Suri (ISSRE, 2022)

PPFM: An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework. - Zhengxin Yu; Yang Lu; Plamen Angelov 001; Neeraj Suri (MSN, 2022)

Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks. - Eduardo A. Soares 001; Plamen Angelov 001; Neeraj Suri (SSCI, 2022)

A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems. - Edward Chuah; Arshad Jhumka; Miroslaw Malek; Neeraj Suri (IEEE Access, 2022)

Security Challenges when Space Merges with Cyberspace. - Vijay Varadharajan; Neeraj Suri (CoRR, 2022)

PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models. - William Hackett; Stefan Trawicki; Zhengxin Yu; Neeraj Suri; Peter Garraghan (CoRR, 2022)

ThreatPro: Multi-Layer Threat Analysis in the Cloud. - Salman Manzoor; Antonios Gouglidis; Matthew Bradbury; Neeraj Suri (CoRR, 2022)

Model Leeching: An Extraction Attack Targeting LLMs. - Lewis Birch; William Hackett; Stefan Trawicki; Neeraj Suri; Peter Garraghan (CAMLIS, 2023)

Cloud Security Requirement Based Threat Analysis. - Ahmed Taha 002; Alexander Lawall; Neeraj Suri (ICNC, 2023)

Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection. - Yi Li 047; Plamen Angelov 001; Neeraj Suri (IJCNN, 2023)

Replication: 20 Years of Inferring Interdomain Routing Policies. - Savvas Kastanakis; Vasileios Giotsas; Ioana Livadariu; Neeraj Suri (IMC, 2023)

Fuzzy Detectors Against Adversarial Attacks. - Yi Li 047; Plamen Angelov 001; Neeraj Suri (SSCI, 2023)

Specifying Autonomous System Behaviour. - Andrew Sogokon; Burak Yuksek; Gökhan Inalhan; Neeraj Suri (CoRR, 2023)

Compilation as a Defense: Enhancing DL Model Attack Robustness via Tensor Optimization. - Stefan Trawicki; William Hackett; Lewis Birch; Neeraj Suri; Peter Garraghan (CoRR, 2023)

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. - Stefan Winter 001; Abraham Chan; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (CoRR, 2023)

Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. - Yang Lu; Zhengxin Yu; Neeraj Suri (ACM Trans. Priv. Secur., 2023)

Investigating Location-aware Advertisements in Anycast IP Networks. - Savvas Kastanakis; Vasileios Giotsas; Ioana Livadariu; Neeraj Suri (ANRW, 2024)

Self-supervised Representation Learning for Adversarial Attack Detection. - Yi Li 047; Plamen Angelov 001; Neeraj Suri (ECCV (60), 2024)

Federated Adversarial Learning for Robust Autonomous Landing Runway Detection. - Yi Li 047; Plamen Angelov 001; Zhengxin Yu; Alvaro Lopez Pellicer; Neeraj Suri (ICANN (6), 2024)

Rethinking Self-supervised Learning for Cross-domain Adversarial Sample Recovery. - Yi Li 047; Plamen Angelov 001; Neeraj Suri (IJCNN, 2024)

UNICAD: A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification. - Alvaro Lopez Pellicer; Kittipos Giatgong; Yi Li 047; Neeraj Suri; Plamen Angelov 001 (IJCNN, 2024)

Real Arithmetic in TLAPM. - Ovini V. W. Gunasekera; Andrew Sogokon; Antonios Gouglidis; Neeraj Suri (NFM, 2024)

Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. - Salman Manzoor; Antonios Gouglidis; Matthew Bradbury; Neeraj Suri (IEEE Trans. Cloud Comput., 2024)

An empirical study of reflection attacks using NetFlow data. - Edward Chuah; Neeraj Suri (Cybersecur., 2024)

Adversarial Attack Detection via Fuzzy Predictions. - Yi Li 047; Plamen Angelov 001; Neeraj Suri (IEEE Trans. Fuzzy Syst., 2024)

Beyond Security-by-design: Securing a compromised system. - Awais Rashid; Sana Belguith; Matthew Bradbury; Sadie Creese; Ivan Flechais; Neeraj Suri (CoRR, 2025)

Bypassing Prompt Injection and Jailbreak Detection in LLM Guardrails. - William Hackett; Lewis Birch; Stefan Trawicki; Neeraj Suri; Peter Garraghan (CoRR, 2025)

Game Theory Empowered Carbon-Intelligent Federated Multiedge Caching for Industrial Internet of Things. - Jie Liang; Zhengxin Yu; Haris Pervaiz; Guhan Zheng; Neeraj Suri (IEEE Internet Things J., 2025)