Items where Author is "Suri, Neeraj"

Group by: Item Type | No Grouping
Number of items: 301.

Journal Article

Rashid, Awais and Belguith, Sana and Bradbury, Matthew and Creese, Sadie and Flechais, Ivan and Suri, Neeraj (2025) <del>Security-by-design</del> Securing a compromised system. Rossfest Symposium. (In Press)

Li, Yi and Angelov, Plamen and Suri, Neeraj (2024) Adversarial Attack Detection via Fuzzy Predictions. IEEE Transactions on Fuzzy Systems, 32 (12). pp. 7015-7024. ISSN 1063-6706

Chuah, Edward and Suri, Neeraj (2024) An empirical study of reflection attacks using NetFlow data. Cybersecurity, 7 (1): 13. ISSN 2523-3246

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2024) Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. IEEE Transactions on Cloud Computing, 12 (1). pp. 319-336. ISSN 2168-7161

Lu, Yang and Yu, Zhengxin and Suri, Neeraj (2023) Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. ACM Transactions on Privacy and Security, 26 (3): 33. pp. 1-39. ISSN 2471-2574

Sogokon, Andrew and Yuksek, Burak and Inalhan, Gökhan and Suri, Neeraj (2023) Specifying Autonomous System Behaviour. CoRR, abs/23.

Chuah, Edward and Jhumka, Arshad and Malek, Miroslaw and Suri, Neeraj (2022) A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems. IEEE Access, 10. pp. 133487-133503. ISSN 2169-3536

Lu, Yang and Yu, Zhengxin and Suri, Neeraj (2022) Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. arXiv, abs/22. ISSN 2331-8422

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) ThreatPro : Multi-Layer Threat Analysis in the Cloud. arXiv, abs/22. ISSN 2331-8422

Hackett, William and Trawicki, Stefan and Yu, Zhengxin and Suri, Neeraj and Garraghan, Peter (2022) PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models. arXiv, abs/22. ISSN 2331-8422

Hackett, William and Trawicki, Stefan and Yu, Zhengxin and Suri, Neeraj and Garraghan, Peter (2022) Pinch : An Adversarial Extraction Attack Framework for Deep Learning Models. arXiv. ISSN 2331-8422

Varadharajan, Vijay and Suri, Neeraj (2022) Security Challenges when Space Merges with Cyberspace. arXiv, abs/22. ISSN 2331-8422

Metzler, Patrick and Suri, Neeraj and Weissenbacher, Georg (2020) Extracting Safe Thread Schedules from Incomplete Model Checking Results. International Journal on Software Tools for Technology Transfer, 22. pp. 565-581. ISSN 1433-2779

Natella, R. and Winter, S. and Cotroneo, D. and Suri, Neeraj (2020) Analyzing the Effects of Bugs on Software Interfaces. IEEE Transactions on Software Engineering, 46 (3). pp. 280-301. ISSN 0098-5589

Heinrich, Markus and Vateva-Gurova, Tsvetoslava and Arul, Tolga and Katzenbeisser, Stefan and Suri, Neeraj and Birkholz, Henk and Fuchs, Andreas and Krauß, Christoph and Zhdanova, Maria and Kuzhiyelil, Don and Tverdyshev, Sergey and Schlehuber, Christian (2019) Security Requirements Engineering in Safety-Critical Railway Signalling Networks. Security and Communication Networks, 2019: 8348925. ISSN 1939-0114

Demir, K. and Nayyer, F. and Suri, Neeraj (2019) MPTCP-H : A DDoS attack resilient transport protocol to secure wide area measurement systems. International Journal of Critical Infrastructure Protection, 25. pp. 84-101. ISSN 1874-5482

Dobre, Dan and Karame, Ghassan and Li, Wenting and Majuntke, Matthias and Suri, Neeraj and Vukolic, Marko (2019) Proofs of Writing for Robust Storage. IEEE Transactions on Parallel and Distributed Systems, 30 (11). pp. 2547-2566. ISSN 1045-9219

Tan, Feng and Liu, Liansheng and Winter, Stefan and Wang, Qixin and Suri, Neeraj and Bu, Lei and Peng, Yu and Liu, Xue and Peng, Xiyuan (2019) Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. TCPS, 3 (1): 2.

Demir, K. and Ismail, H. and Vateva-Gurova, T. and Suri, Neeraj (2018) Securing the cloud-assisted smart grid. International Journal of Critical Infrastructure Protection, 23. pp. 100-111. ISSN 1874-5482

Schwahn, O. and Winter, S. and Coppik, N. and Suri, Neeraj (2018) How to Fillet a Penguin : Runtime Data Driven Partitioning of Linux Code. IEEE Transactions on Dependable and Secure Computing, 15 (6). pp. 945-958. ISSN 1545-5971

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2017) Safety verification utilizing model-based development for safety critical cyber-physical systems. Journal of Information Processing Systems, 25. pp. 797-810. ISSN 0387-5806

Luna, J. and Taha, A. and Trapero, R. and Suri, Neeraj (2017) Quantitative Reasoning about Cloud Security Using Service Level Agreements. IEEE Transactions on Cloud Computing, 5 (3). pp. 457-471. ISSN 2168-7161

Trapero, R. and Modic, J. and Stopar, M. and Taha, A. and Suri, Neeraj (2017) A novel approach to manage cloud security SLA incidents. Future Generation Computer Systems, 72. pp. 193-205. ISSN 0167-739X

Ismail, H. and Germanus, D. and Suri, Neeraj (2017) P2P routing table poisoning: A quorum-based sanitizing approach. Computers and Security, 65. pp. 283-299. ISSN 0167-4048

Demir, K. and Germanus, D. and Suri, Neeraj (2017) Robust QoS-aware communication in the smart distribution grid. Peer-to-Peer Networking and Applications, 10 (1). pp. 193-207. ISSN 1936-6442

Modic, J. and Trapero, R. and Taha, A. and Luna, J. and Stopar, M. and Suri, Neeraj (2016) Novel efficient techniques for real-time cloud security assessment. Computers and Security, 62. pp. 1-18. ISSN 0167-4048

Yang, L. and Cao, J. and Tang, S. and Han, D. and Suri, Neeraj (2016) Run Time Application Repartitioning in Dynamic Mobile Cloud Environments. IEEE Transactions on Cloud Computing, 4 (3). pp. 336-348. ISSN 2168-7161

Trapero, R. and Luna, J. and Suri, Neeraj (2016) Quantifiably Trusting the Cloud: Putting Metrics to Work. IEEE Security and Privacy Magazine, 14 (3). pp. 73-77. ISSN 1540-7993

Platania, M. and Obenshain, D. and Tantillo, T. and Amir, Y. and Suri, Neeraj (2016) On choosing server-or client-side solutions for BFT. ACM Computing Surveys, 48 (4): 61. ISSN 0360-0300

Saxena, D. and Raychoudhury, V. and Suri, Neeraj and Becker, C. and Cao, J. (2016) Named Data Networking : A survey. Computer Science Review, 19. pp. 15-55. ISSN 1574-0137

Ali, A. and Khelil, A. and Suri, Neeraj and Mahmudimanesh, M. (2015) Adaptive hybrid compression for wireless sensor networks. ACM Transactions on Sensor Networks, 11 (4): 53. ISSN 1550-4859

Del Alamo, J.M. and Trapero, R. and Martin, Y.S. and Yelmo, J.C. and Suri, Neeraj (2015) Assessing privacy capabilities of cloud service providers. IEEE Latin America Transactions, 13 (11). pp. 3634-3641. ISSN 1548-0992

Tan, Feng and Wang, Yufei and Wang, Qixin and Bu, Lei and Suri, Neeraj (2015) A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking. IEEE Transactions on Parallel and Distributed Systems, 26 (10): 6898840. pp. 2630-2642. ISSN 1045-9219

Luna, J. and Suri, Neeraj and Iorga, M. and Karmel, A. (2015) Leveraging the Potential of Cloud Security Service-Level Agreements through Standards. IEEE Cloud Computing, 2 (3). pp. 32-40. ISSN 2325-6095

Ghani, H. and Khelil, A. and Suri, Neeraj and Csertán, G. and Gönczy, L. and Urbanics, G. and Clarke, J. (2014) Assessing the security of internet-connected critical infrastructures. Security and Communication Networks, 7 (12). pp. 2713-2725. ISSN 1939-0114

Ayari, B. and Khelil, A. and Suri, Neeraj (2013) GMTC: A generalized commit approach for hybrid mobile environments. IEEE Transactions on Mobile Computing, 12 (12). pp. 2399-2411. ISSN 1536-1233

Ali, A. and Khelil, A. and Shaikh, F.K. and Suri, Neeraj (2012) Efficient predictive monitoring of wireless sensor networks. International Journal of Autonomous and Adaptive Communications Systems, 5 (3). pp. 233-254. ISSN 1754-8632

Ayari, B. and Khelil, A. and Suri, Neeraj (2011) On the design of perturbation-resilient atomic commit protocols for mobile transactions. ACM Transactions on Computer Systems, 29 (3): 7. ISSN 0734-2071

Shaikh, F.K. and Khelil, A. and Ali, A. and Suri, Neeraj (2011) Reliable congestion-aware information transport in wireless sensor networks. International Journal of Communication Networks and Distributed Systems, 7 (1-2). pp. 135-152. ISSN 1754-3916

Serafini, M. and Bokor, P. and Suri, Neeraj and Vinter, J. and Ademaj, A. and Brandstätter, W. and Tagliabo, F. and Koch, J. (2011) Application-level diagnostic and membership protocols for generic time-triggered systems. IEEE Transactions on Dependable and Secure Computing, 8 (2). pp. 177-193. ISSN 1545-5971

Suri, Neeraj and Jhumka, A. and Hiller, M. and Pataricza, A. and Islam, S. and Sârbu, C. (2010) A software integration approach for designing and assessing dependable embedded systems. Journal of Systems and Software, 83 (10). pp. 1780-1800. ISSN 0164-1212

Sârbu, C. and Johansson, A. and Suri, Neeraj and Nagappan, N. (2010) Profiling the operational behavior of OS device drivers. Empirical Software Engineering, 15 (4). pp. 380-422. ISSN 1382-3256

Timor, A. and Mendelson, A. and Birk, Y. and Suri, Neeraj (2010) Using underutilized CPU resources to enhance its reliability. IEEE Transactions on Dependable and Secure Computing, 7 (1). pp. 94-109. ISSN 1545-5971

Suri, Neeraj and Sinha, P. (2010) A pre-injection analysis for identifying fault-injection tests for protocol validation. Journal of Software, 5 (10). pp. 1144-1161. ISSN 1796-217X

Ayari, B. and Khelil, A. and Suri, Neeraj (2009) Exploring delay-aware transactions in heterogeneous mobile environments. Journal of Software, 4 (7). pp. 634-643. ISSN 1796-217X

D'Antonio, S. and Romano, L. and Khelil, A. and Suri, Neeraj (2009) Increasing security and protection of SCADA systems through infrastructure resilience. International Journal of System of Systems Engineering, 1 (4). pp. 401-413. ISSN 1748-0671

Islam, S. and Suri, Neeraj and Balogh, A. and Csertán, G. and Pataricza, A. (2009) An optimization based design for integrated dependable real-time embedded systems. Design Automation for Embedded Systems, 13 (4). pp. 245-285. ISSN 0929-5585

Gligor, V.D. and Meadows, C. and Suri, Neeraj (2008) IEEE Transactions on Dependable an Secure Computing: Editorial. IEEE Transactions on Dependable and Secure Computing, 5 (1). pp. 4-5. ISSN 1545-5971

Suri, Neeraj and Narahari, Y. (2008) Design of an optimal Bayesian incentive compatible broadcast protocol for ad hoc networks with rational nodes. IEEE Journal on Selected Areas in Communications, 26 (7). pp. 1138-1148. ISSN 0733-8716

Serafini, M. and Bondavalli, A. and Suri, Neeraj (2007) Online diagnosis and recovery : On the choice and impact of tuning parameters. IEEE Transactions on Dependable and Secure Computing, 4 (4). pp. 295-312. ISSN 1545-5971

Jhumka, A. and Freiling, F. and Fetzer, C. and Suri, Neeraj (2006) An approach to synthesise safe systems. International Journal of Security and Networks, 1 (1-2). pp. 62-74. ISSN 1747-8405

Claesson, V. and Lönn, H. and Suri, Neeraj (2004) An efficient TDMA start-up and restart synchronization approach for distributed embedded systems. IEEE Transactions on Parallel and Distributed Systems, 15 (8). pp. 725-739. ISSN 1045-9219

Hiller, M. and Jhumka, A. and Suri, Neeraj (2004) EPIC : Profiling the propagation and effect of data errors in software. IEEE Transactions on Computers, 53 (5). pp. 512-530. ISSN 0018-9340

Walter, C.J. and Suri, Neeraj (2003) The customizable fault/error model for dependable distributed systems. Theoretical Computer Science, 290 (2). pp. 1223-1251. ISSN 0304-3975

Askerdal, Ö. and Gäfvert, M. and Hiller, M. and Suri, Neeraj (2003) Analyzing the Impact of Data Errors in Safety-Critical Control Systems. IEICE Transactions on Information and Systems, E86-D (12). pp. 2623-2633. ISSN 0916-8532

Suri, Neeraj and Mendelson, Avi (2001) Design of a parallel interconnect based on communication pattern considerations. Parallel Algorithms Appl., 16 (4). pp. 243-271.

Suri, Neeraj and Ramamritham, Krithi (1999) Editorial : Special Section on Dependable Real-Time Systems. IEEE Transactions on Parallel and Distributed Systems, 10 (6). pp. 529-532. ISSN 1045-9219

Walter, Chris J. and Lincoln, Patrick and Suri, Neeraj (1997) Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng., 23 (11). pp. 684-721.

Suri, Neeraj and Hugue, M.M. and Walter, C.J. (1994) Synchronization Issues in Real Time Systems. Proceedings of the IEEE, 82 (1). pp. 41-54. ISSN 0018-9219

Contribution in Book/Report/Proceedings

Li, Yi and Angelov, Plamen and Suri, Neeraj (2024) Self-Supervised Representation Learning for Adversarial Attack Detection. In: Computer Vision – ECCV 2024 : 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part I. Lecture Notes in Computer Science . Springer, Cham, pp. 236-252. ISBN 9783031730269

Li, Yi and Angelov, Plamen and Suri, Neeraj (2024) Robust Self-Supervised Learning for Adversarial Attack Detection. In: The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NIPS) :. UNSPECIFIED. ISBN 9781450383097 (In Press)

Lopez Pellicer, Alvaro and Giatgong, Kittipos and Li, Yi and Suri, Neeraj and Angelov, Plamen (2024) UNICAD : A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification. In: 2024 International Joint Conference on Neural Networks (IJCNN) :. IEEE, JPN. ISBN 9798350359329

Kastanakis, Savvas and Giotsas, Vasileios and Livadariu, Ioana and Suri, Neeraj (2024) Investigating Location-aware Advertisements in Anycast IP Networks. In: ANRW '24: Proceedings of the 2024 Applied Networking Research Workshop :. ACM, New York, pp. 15-22. ISBN 9798400707230

Li, Yi and Angelov, Plamen and Suri, Neeraj (2024) Rethinking Self-Supervised Learning for Cross-Domain Adversarial Sample Recovery. In: 2024 International Joint Conference on Neural Networks (IJCNN) :. IEEE.

Li, Yi and Angelov, Plamen and Yu, Zhengxin and Lopez Pellicer, Alvaro and Suri, Neeraj (2024) Federated Adversarial Learning for Robust Autonomous Landing Runway Detection. In: International Conference on Artificial Neural Networks (ICANN) :. UNSPECIFIED. (In Press)

Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)

Yu, Zhengxin and Lu, Yang and Suri, Neeraj (2023) RAFL: A Robust and Adaptive Federated Meta-Learning Framework Against Adversaries. In: 2023 IEEE 20th International Conference on Mobile Ad Hoc and Smart Systems (MASS) :. IEEE. ISBN 9798350324341

Li, Yi and Angelov, Plamen and Suri, Neeraj (2023) Fuzzy Detectors Against Adversarial Attacks. In: 2023 IEEE Symposium Series on Computational Intelligence :. IEEE, MEX, pp. 306-311. ISBN 9781665430654 (In Press)

Li, Yi and Angelov, Plamen and Suri, Neeraj (2023) Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection. In: 2023 International Joint Conference on Neural Networks (IJCNN) :. IEEE, Gold Coast, Australia. ISBN 9781665488686

Yu, Zhengxin and Lu, Yang and Angelov, Plamen and Suri, Neeraj (2023) PPFM : An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework. In: 2022 18th International Conference on Mobility, Sensing and Networking (MSN) :. IEEE, CHN, pp. 502-509. ISBN 9781665464581

Taha, Ahmed and Lawall, Alexander and Suri, Neeraj (2023) Cloud Security Requirement Based Threat Analysis. In: 2023 International Conference on Computing, Networking and Communications, ICNC 2023 :. 2023 International Conference on Computing, Networking and Communications, ICNC 2023 . Institute of Electrical and Electronics Engineers Inc., USA, pp. 506-510. ISBN 9781665457194

Almeida Soares, Eduardo and Angelov, Plamen and Suri, Neeraj (2023) Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks. In: Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022 :. Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022 . IEEE, pp. 1028-1035. ISBN 9781665487689

Chen, Yiqun and Bradbury, Matthew and Suri, Neeraj (2022) Towards Effective Performance Fuzzing. In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) :. Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022 . IEEE, USA, pp. 128-129. ISBN 9781665476799

Chen, Yiqun and Schwahn, Oliver and Natella, Roberto and Bradbury, Matthew and Suri, Neeraj (2022) SlowCoach : Mutating Code to Simulate Performance Bugs. In: 33rd IEEE International Symposium on Software Reliability Engineering :. 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) . IEEE, New York, pp. 274-285. ISBN 9781665451338

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud. In: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security :. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security . ACM, USA, pp. 3415-3417. ISBN 9781450394505

Kastanakis, Savvas and Giotsas, Vasileios and Suri, Neeraj (2022) Understanding the confounding factors of inter-domain routing modeling. In: IMC 2022 - Proceedings of the 2022 ACM Internet Measurement Conference :. Proceedings of the 22nd ACM Internet Measurement Conference . ACM, New York, pp. 758-759. ISBN 9781450392594

Chuah, Edward and Suri, Neeraj and Jhumka, Arshad and Alt, Samantha (2022) Challenges in Identifying Network Attacks Using Netflow Data. In: 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA) :. IEEE. ISBN 9781665495516

Chuah, Edward and Jhumka, Arshad and Alt, Samantha and Evans, R. Todd and Suri, Neeraj (2021) Failure Diagnosis for Cluster Systems using Partial Correlations. In: 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) :. IEEE, USA, pp. 1091-1101. ISBN 9781665411936

Coppik, Nicolas and Darmstadt, TU and Suri, Neeraj (2021) Fast Kernel Error Propagation Analysis in Virtualized Environments. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) :. IEEE, BRA, pp. 159-170. ISBN 9781728168371

Saissi, Habib and Winter, Stefan and Schwahn, Oliver and Pattabiraman, Karthik and Suri, Neeraj (2020) TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE, pp. 52-63. ISBN 978-1-7281-5810-5

Saissi, Habib and Winter, Stefan and Schwahn, Oliver and Pattabiraman, K. and Suri, Neeraj (2020) Trace Sanitizer : Eliminating the Effects of Non-Determinism of Error Propagation Analysis. In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781728158105

Taha, Ahmed and Zakaria, Ahmed and Kim, Dongseong and Suri, Neeraj (2020) Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure. In: 2020 IEEE International Conference on Cloud Engineering (IC2E) :. IEEE, AUS, pp. 134-143. ISBN 9781728111001

Chebaane, Ahmed and Khelil, Abdelmajid and Suri, Neeraj (2020) Time-critical fog computing for vehicular networks. In: Fog Computing : Theory and Practice. Wiley, London, pp. 431-458. ISBN 9781119551690

Suri, Neeraj (2020) Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. In: 2019 38th Symposium on Reliable Distributed Systems (SRDS) :. UNSPECIFIED, Lyon, France, pp. 71-82. ISBN 9781728142227

Metzler, Patrick and Suri, Neeraj and Weissenbacher, Georg (2019) Extracting Safe Thread Schedules from Incomplete Model Checking Results. In: Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer, pp. 153-171. ISBN 9783030309220

Zhao, Shujie and Chen, Yiqun and Winter, Stefan and Suri, Neeraj (2019) Analyzing and improving customer-side cloud security certifiability. In: Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 :. UNSPECIFIED, pp. 300-307.

Suri, Neeraj (2019) Distributed Systems Security. In: CyBOK Knowledge Base :. University of Bristol, Bristol, p. 38.

Chen, Yiqun and Winter, Stefan and Suri, Neeraj (2019) Inferring Performance Bug Patterns from Developer Commits. In: Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019 :. Proceedings - International Symposium on Software Reliability Engineering, ISSRE . IEEE Computer Society Press, DEU, pp. 70-81. ISBN 9781728149813

Schwahn, Oliver and Coppik, Nicolas and Winter, Stefan and Suri, Neeraj (2019) Assessing the state and improving the art of parallel testing for C. In: ISSTA 2019 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis :. ACM, pp. 123-133. ISBN 9781450362245

Álvarez, Antonio and Trapero, Rubeń and Guilhot, Denis and García-Mila, Ignasi and Hernandez, Francisco and Marín-Tordera, Eva and Forne, Jordi and Masip-Bruin, Xavi and Suri, Neeraj and Heinrich, Markus and Katzenbeisser, Stefan and Athanatos, Manos and Ioannidis, Sotiris and Kallipolitis, Leonidas and Spais, Ilias and Fournaris, Apostolos and Lampropoulos, Konstantinos (2019) CIPSEC-enhancing critical infrastructure protection with innovative security framework. In: Challenges in Cybersecurity and Privacy : the European Research Landscape. River Publishers, pp. 129-148. ISBN 9788770220873

Coppik, N. and Schwahn, O. and Suri, Neeraj (2019) MemFuzz : Using memory accesses to guide fuzzing. In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) :. IEEE, pp. 48-58. ISBN 9781728117362

Vateva-Gurova, T. and Manzoor, S. and Huang, Y. and Suri, Neeraj (2019) InfoLeak : Scheduling-based information leakage. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 44-53. ISBN 9781538657003

Vateva-Gurova, T. and Manzoor, S. and Trapero, R. and Suri, Neeraj and E., Marin Tordera and K., Lampropoulos (2019) Protecting Cloud-Based CIs : Covert Channel Vulnerabilities at the Resource Level. In: Information and Operational Technology Security Systems : First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11398 . Springer-Verlag, pp. 27-38. ISBN 9783030120849

Manzoor, S. and Vateva-Gurova, T. and Trapero, R. and Suri, Neeraj (2019) Threat Modeling the Cloud : An Ontology Based Approach. In: IOSec 2018 : Information and Operational Technology Security Systems. Lecture Notes in Computer Science . Springer-Verlag, Cham, pp. 61-72. ISBN 9783030120849

Suri, Neeraj (2019) Distributed Systems Security Knowledge Area : Issue 1.0. In: The Cyber Security Body of Knowledge :. University of Bristol.

Tai, B.-C. and Li, S.-C. and Huang, Y. and Suri, Neeraj and Wang, P.-C. (2018) Exploring the relationship between dimensionality reduction and private data release. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 25-33. ISBN 9781538657010

Schwahn, O. and Coppik, N. and Winter, S. and Suri, Neeraj (2018) FastFI : Accelerating software fault injections. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 193-202. ISBN 9781538657010

Vateva-Gurova, T. and Suri, Neeraj (2018) On the detection of side-channel attacks. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 185-186. ISBN 9781538657010

Zhang, H. and Luna, J. and Suri, Neeraj and Trapero, R. (2018) Flashlight : A novel monitoring path identification schema for securing cloud services. In: ARES 2018 Proceedings of the 13th International Conference on Availability, Reliability and Security :. ACM. ISBN 9781450364485

Ismail, H. and Roos, S. and Suri, Neeraj (2018) A Composite Malicious Peer Eviction Mechanism for Super-P2P Systems. In: 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) :. IEEE, pp. 456-464. ISBN 9781538643891

Zhang, H. and Luna, J. and Trapero, R. and Suri, Neeraj (2018) Whetstone : Reliable monitoring of cloud services. In: 2018 IEEE International Conference on Smart Computing (SMARTCOMP) :. IEEE, pp. 115-122. ISBN 9781538647066

Ismail, H. and Roos, S. and Suri, Neeraj (2018) A Detection Mechanism for Internal Attacks on Pull-Based P2P Streaming Systems. In: 2018 IEEE 19th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM) :. IEEE, pp. 1-7. ISBN 9781538647264

Hua, K.A. and Suri, Neeraj (2018) Message from the IC2E 2018 General Chairs. In: 2018 IEEE International Conference on Cloud Engineering (IC2E) :. IEEE, xiii. ISBN 9781538650097

Zhang, H. and Manzoor, S. and Suri, Neeraj and J., Li and A., Chandra and T., Guo and Y., Cai (2018) Monitoring path discovery for supporting indirect monitoring of cloud services. In: 2018 IEEE International Conference on Cloud Engineering (IC2E) :. IEEE, pp. 274-277. ISBN 9781538650097

Manzoor, S. and Zhang, H. and Suri, Neeraj and J., Li and A., Chandra and T., Guo and Y., Cai (2018) Threat modeling and analysis for the cloud ecosystem. In: 2018 IEEE International Conference on Cloud Engineering (IC2E) :. IEEE, pp. 278-281.

Metzler, P. and Saissi, H. and Bokor, P. and Suri, Neeraj (2017) Quick verification of concurrent programs by iteratively relaxed scheduling. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) :. IEEE, pp. 776-781. ISBN 9781538639764

Coppik, N. and Schwahn, O. and Winter, S. and Suri, Neeraj and G., Rosu and M., Di Penta (2017) TrEKer : Tracing error propagation in operating system kernels. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) :. IEEE, pp. 377-387. ISBN 9781538639764

Alboghdady, S. and Winter, S. and Taha, A. and Zhang, H. and Suri, Neeraj (2017) C'MON : Monitoring the compliance of cloud services to contracted properties. In: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security :. ACM, p. 6. ISBN 9781450352574

Demir, K. and Suri, Neeraj (2017) Towards DDoS attack resilient wide area monitoring systems. In: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security :. ACM. ISBN 9781450352574

Schlehuber, C. and Heinrich, M. and Vateva-Gurova, T. and Katzenbeisser, S. and Suri, Neeraj (2017) A security architecture for railway signalling. In: Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Springer-Verlag, pp. 320-328. ISBN 9783319662657

Manzoor, S. and Luna, J. and Suri, Neeraj (2017) AttackDive : Diving Deep into the Cloud Ecosystem to Explore Attack Surfaces. In: 2017 IEEE International Conference on Services Computing (SCC) :. IEEE, pp. 499-502. ISBN 9781538620069

Zhang, H. and Trapero, R. and Luna, J. and Suri, Neeraj and X., Liu and U., Bellur (2017) DeQAM : A Dependency Based Indirect Monitoring Approach for Cloud Services. In: 2017 IEEE International Conference on Services Computing (SCC) :. IEEE, pp. 27-34. ISBN 9781538620069

Taha, A. and Trapero, R. and Luna, J. and Suri, Neeraj (2017) A Framework for Ranking Cloud Security Services. In: 2017 IEEE International Conference on Services Computing (SCC) :. IEEE, pp. 322-329. ISBN 9781538620069

Taha, A. and Manzoor, S. and Suri, Neeraj (2017) SLA-Based Service Selection for Multi-Cloud Environments. In: 2017 IEEE International Conference on Edge Computing (EDGE) :. IEEE, pp. 65-72. ISBN 9781538620168

Schlehuber, C. and Heinrich, M. and Vateva-Gurova, T. and Katzenbeisser, S. and Suri, Neeraj (2017) Challenges and approaches in securing safety-relevant railway signalling. In: 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) :. IEEE, pp. 139-145. ISBN 9781538622452

Chan, A. and Winter, S. and Saissi, H. and Pattabiraman, K. and Suri, Neeraj (2017) IPA : Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) :. IEEE, pp. 184-195. ISBN 9781509060320

Demir, K. and Suri, Neeraj (2017) SeReCP : A secure and reliable communication platform for the smart grid. In: 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 175-184. ISBN 9781509056538

Ismail, H. and Germanus, D. and Suri, Neeraj (2016) Malicious peers eviction for P2P overlays. In: 2016 IEEE Conference on Communications and Network Security (CNS) :. IEEE, pp. 216-224. ISBN 9781509030668

Metzler, P. and Saissi, H. and Bokor, P. and Hess, R. and Suri, Neeraj (2016) Efficient verification of program fragments : Eager POR. In: Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Springer-Verlag, pp. 375-391. ISBN 9783319465197

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2016) Practical Formal Verification for Model Based Development of Cyber-Physical Systems. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) :. IEEE, pp. 1-8.

Saxena, D. and Raychoudhury, V. and Becker, C. and Suri, Neeraj (2016) Reliable Memory Efficient Name Forwarding in Named Data Networking. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) :. IEEE, pp. 48-55. ISBN 9781509035946

Zhang, H. and Taha, A. and Trapero, R. and Luna, J. and Suri, Neeraj (2016) SENTRY : A novel approach for mitigating application layer DDoS threats. In: 2016 IEEE Trustcom/BigDataSE/ISPA :. IEEE, pp. 465-472. ISBN 9781509032068

Manzoor, S. and Taha, A. and Suri, Neeraj (2016) Trust validation of cloud IaaS : A customer-centric approach. In: 2016 IEEE Trustcom/BigDataSE/ISPA :. IEEE, pp. 97-104. ISBN 9781509032051

Taha, A. and Metzler, P. and Trapero, R. and Luna, J. and Suri, Neeraj (2016) Identifying and utilizing dependencies across cloud security services. In: ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security :. ACM, pp. 329-340. ISBN 9781450342339

Ali, A. and Khelil, A. and Suri, Neeraj (2016) FTDE : Distributed Fault Tolerance for WSN Data Collection and Compression Schemes. In: 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS) :. IEEE, pp. 140-145. ISBN 9781467393027

Khelil, A. and Shaikh, F.K. and Ali, A. and Suri, Neeraj and Reinl, C. (2016) Delay tolerant monitoring of mobility-assisted WSN. In: Delay Tolerant Networks : Protocols and Applications. CRC Press, pp. 189-221. ISBN 9781439811122

Ismail, H. and Germanus, D. and Suri, Neeraj (2015) Detecting and mitigating P2P eclipse attacks. In: 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) :. IEEE, pp. 224-231. ISBN 9780769557854

Vateva-Gurova, T. and Suri, Neeraj and Mendelson, A. (2015) The impact of hypervisor scheduling on compromising virtualized environments. In: 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing :. IEEE, pp. 1910-1917. ISBN 9781509001545

Germanus, D. and Ismail, H. and Suri, Neeraj (2015) PASS : An Address Space Slicing Framework for P2P Eclipse Attack Mitigation. In: 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS) :. IEEE, pp. 74-83. ISBN 9781467393027

Aldini, A. and Martinelli, F. and Suri, Neeraj and A., Aldini and F., Martinelli and N., Suri (2015) Foreword from the QASA 2015 chairs. In: Data Privacy Management, and Security Assurance : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers. Springer-Verlag. ISBN 9783319298825

Piper, T. and Winter, S. and Suri, Neeraj and Fuhrman, T.E. (2015) On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. In: 2015 11th European Dependable Computing Conference (EDCC) :. IEEE, pp. 85-96. ISBN 9781467392891

Winter, S. and Piper, T. and Schwahn, O. and Natella, R. and Suri, Neeraj and Cotroneo, D. (2015) GRINDER : On Reusability of Fault Injection Tools. In: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test :. IEEE, pp. 75-79. ISBN 9781467370226

Winter, S. and Schwahn, O. and Natella, R. and Suri, Neeraj and Cotroneo, D. (2015) No PAIN, No Gain? The utility of parallel fault injections. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering :. IEEE, pp. 494-505. ISBN 9781479919345

Piper, T. and Winter, S. and Schwahn, O. and Bidarahalli, S. and Suri, Neeraj (2015) Mitigating timing error propagation in mixed-criticality automotive systems. In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing :. IEEE, pp. 102-109. ISBN 9781479987818

Lanzaro, Anna and Natella, Roberto and Winter, Stefan and Cotroneo, Domenico and Suri, Neeraj (2015) Error models for the representative injection of software defects. In: Software-engineering and management :. Gesellschaft für Informatik, pp. 118-119. ISBN 9783885796336

Aldini, A. and Martinelli, F. and Suri, Neeraj and N., Suri and J., Garcia-Alfaro and F., Martinelli and A., Aldini (2015) Foreword from the QASA 2014 program chairs. In: Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Sel. Springer-Verlag. ISBN 9783319170152

Vateva-Gurova, T. and Luna, J. and Pellegrino, G. and Suri, Neeraj (2015) On the feasibility of side-channel attacks in a virtualized environment. In: E-Business and Telecommunications : 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. Springer-Verlag, pp. 319-339. ISBN 9783319259147

Saissi, H. and Bokor, P. and Suri, Neeraj (2015) PBMC : Symbolic slicing for the verification of concurrent programs. In: Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, pp. 344-360. ISBN 9783319249520

Mikkelsen, G.L. and Damgård, K. and Guldager, H. and Jensen, J.L. and Luna, J.G. and Nielsen, J.D. and Paillier, P. and Pellegrino, G. and Stausholm, M.B. and Suri, Neeraj and Zhang, H. (2015) Technical implementation and feasibility. In: Attribute-Based Credentials for Trust : Identity in the Information Society. Springer International Publishing, pp. 255-318. ISBN 9783319144399

Huang, S.-Y. and Huang, Y. and Suri, Neeraj (2014) Event pattern discovery on IDS traces of cloud services. In: 2014 IEEE Fourth International Conference on Big Data and Cloud Computing :. IEEE, pp. 25-32. ISBN 9781479967193

Demir, K. and Germanus, D. and Suri, Neeraj (2014) Robust and real-time communication on heterogeneous networks for smart distribution grid. In: 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) :. IEEE, pp. 386-391. ISBN 9781479949342

Germanus, D. and Roos, S. and Strufe, T. and Suri, Neeraj (2014) Mitigating eclipse attacks in peer-to-peer networks. In: 2014 IEEE Conference on Communications and Network Security :. Springer-Verlag, pp. 400-408. ISBN 9781479958900

Taha, A. and Trapero, R. and Luna, J. and Suri, Neeraj (2014) AHP-based quantitative approach for assessing and comparing cloud security. In: 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications :. IEEE, pp. 284-291. ISBN 9781479965137

Vateva-Gurova, T. and Luna, J. and Pellegrino, G. and Suri, Neeraj (2014) Towards a framework for assessing the feasibility of side-channel attacks in virtualized environments. In: 2014 11th International Conference on Security and Cryptography (SECRYPT) :. IEEE, pp. 113-124. ISBN 9781467392402

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2014) Practical use of formal verification for safety critical cyber-physical systems : A case study. In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications :. IEEE, pp. 7-12. ISBN 9781479953875

Lanzaro, A. and Natella, R. and Winter, S. and Cotroneo, D. and Suri, Neeraj (2014) An empirical study of injected versus actual interface errors. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis :. ACM, pp. 397-408. ISBN 9781450326452

Mahmudimanesh, M. and Suri, Neeraj (2014) Agile sink selection in wireless sensor networks. In: 2014 Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking (SECON) :. IEEE, pp. 390-398. ISBN 9781479946570

Mahmudimanesh, M. and Naseri, A. and Suri, Neeraj (2014) Efficient agile sink selection in wireless sensor networks based on compressed sensing. In: 2014 IEEE International Conference on Distributed Computing in Sensor Systems :. IEEE, pp. 193-200. ISBN 9781479946181

Mahmudimanesh, M. and Suri, Neeraj (2014) Robust compressive data gathering in wireless sensor networks with linear topology. In: 2014 IEEE International Conference on Distributed Computing in Sensor Systems :. IEEE, pp. 179-186. ISBN 9781479946181

Tan, F. and Liu, L. and Winter, S. and Wang, Q. and Suri, Neeraj and Bu, L. and Peng, Y. and Liu, X. and Peng, X. (2014) WiP abstract : A framework on profiling cross-domain noise propagation in control CPS. In: 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) :. IEEE, p. 224. ISBN 9781479949311

Luna, J. and Vateva-Gurova, T. and Suri, Neeraj and Rak, M. and De Benedictis, A. (2014) SecLA-based negotiation and brokering of cloud resources. In: Cloud Computing and Services Science : Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Springer-Verlag, pp. 1-18. ISBN 9783319115603

Veseli, F. and Vateva-Gurova, T. and Krontiris, I. and Rannenberg, K. and Suri, Neeraj (2014) Towards a framework for benchmarking privacy-ABC technologies. In: IFIP Advances in Information and Communication Technology : 29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. Proceedings. Springer New York LLC, pp. 197-204. ISBN 9783642554148

Ghani, H. and Luna Garcia, J. and Petkov, I. and Suri, Neeraj (2014) User-centric security assessment of software configurations : A case study. In: Engineering Secure Software and Systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Springer-Verlag, pp. 196-212. ISBN 9783319048963

Rak, M. and Suri, Neeraj and Luna, J. and Petcu, D. and Casola, V. and Villano, U. (2013) Security as a service using an SLA-based approach via SPECS. In: 2013 IEEE 5th International Conference on Cloud Computing Technology and Science :. IEEE, pp. 1-6. ISBN 9780769550954

Dobre, D. and Karame, G. and Li, W. and Majuntke, M. and Suri, Neeraj and Vukolić, M. (2013) PoWerStore : Proofs of writing for efficient and robust storage. In: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security :. ACM, pp. 285-297. ISBN 9781450324779

Ghani, H. and Luna, J. and Khelil, A. and Alkadri, N. and Suri, Neeraj (2013) Predictive vulnerability scoring in the context of insufficient information availability. In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS) :. IEEE, pp. 1-8. ISBN 9781479934881

Ghani, H. and Luna, J. and Suri, Neeraj (2013) Quantitative assessment of software vulnerabilities based on economic-driven security metrics. In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS) :. IEEE, pp. 1-8. ISBN 9781479934881

Germanus, D. and Khelil, A. and Schwandke, J. and Suri, Neeraj (2013) Coral : Reliable and low-latency P2P convergecast for critical sensor data collection. In: 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm) :. IEEE, pp. 300-305. ISBN 9781479915262

Saissi, H. and Bokor, P. and Muftuoglu, C.A. and Suri, Neeraj and Serafini, M. (2013) Efficient verification of distributed protocols using stateful model checking. In: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems :. IEEE, pp. 133-142. ISBN 9780769551159

Tan, F. and Wang, Y. and Wang, Q. and Bu, L. and Zheng, R. and Suri, Neeraj (2013) Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS : A hybrid formal modeling approach. In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781467364713

Winter, S. and Tretter, M. and Sattler, B. and Suri, Neeraj (2013) SimFI : From single to simultaneous software fault injections. In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781467364713

Sachidananda, V. and Khelil, A. and Noack, D. and Suri, Neeraj (2013) Information quality aware co-design of sampling and transport in wireless sensor networks. In: 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC) :. IEEE. ISBN 9781467356152

Sachidananda, V. and Khelil, A. and Umap, D. and Majuntke, M. and Suri, Neeraj (2013) Trading transport timeliness and reliability for efficiency in wireless sensor networks. In: 2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC) :. I. B. Tauris, pp. 720-727. ISBN 9781467351980

Sachidananda, V. and Khelil, A. and Noack, D. and Suri, Neeraj (2013) Sampling and transport co-design in Wireless Sensor Networks. In: 2013 10th Annual Conference on Wireless On-demand Network Systems and Services (WONS) :. IEEE, pp. 98-100. ISBN 9781479907472

Luna, J. and Vateva-Gurova, T. and Suri, Neeraj and Rak, M. and Liccardo, L. (2013) Negotiating and brokering Cloud resources based on Security Level Agreements. In: Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1 :. SciTePress, pp. 533-541. ISBN 9789898565525

Luna, J. and Langenberg, R. and Suri, Neeraj (2012) Benchmarking cloud security level agreements using quantitative policy trees. In: Proceedings of the 2012 ACM Workshop on Cloud computing security workshop :. ACM, pp. 103-112. ISBN 9781450316651

Luna, J. and Suri, Neeraj and Krontiris, I. (2012) Privacy-by-design based on quantitative threat modeling. In: 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS) :. IEEE. ISBN 9781467330879

Mahmudimanesh, M. and Khelil, A. and Suri, Neeraj (2012) Balanced spatio-temporal compressive sensing for multi-hop wireless sensor networks. In: 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012) :. IEEE, pp. 389-397. ISBN 9781467324335

Germanus, D. and Langenberg, R. and Khelil, A. and Suri, Neeraj (2012) Susceptibility analysis of structured P2P systems to localized eclipse attacks. In: 2012 IEEE 31st Symposium on Reliable Distributed Systems :. IEEE, pp. 11-20. ISBN 9781467323970

Clarke, J. and Sharma, A. and Suri, Neeraj and Castro, R.R. and Lopez, J. (2012) Trust & security RTD in the internet of things : Opportunities for international cooperation. In: Proceedings of the First International Conference on Security of Internet of Things :. ACM, pp. 172-178. ISBN 9781450318228

Piper, T. and Winter, S. and Manns, P. and Suri, Neeraj (2012) Instrumenting AUTOSAR for dependability assessment : A guidance framework. In: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) :. IEEE.

Szczytowski, P. and Khelil, A. and Suri, Neeraj (2012) DKM : Distributed k-connectivity maintenance in wireless sensor networks. In: 2012 9th Annual Conference on Wireless On-Demand Network Systems and Services (WONS) :. IEEE, pp. 83-90. ISBN 9781457717215

Muftuoglu, C.A. and Bokor, P. and Suri, Neeraj (2012) Brief announcement: MP-state : State-aware software model checking of message-passing systems. In: Stabilization, Safety, and Security of Distributed Systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. UNSPECIFIED, pp. 183-186. ISBN 9783642335358

Mahmudimanesh, M. and Khelil, A. and Suri, Neeraj (2012) Compressive sensing for wireless sensor networks. In: Intelligent Sensor Networks : The Integration of Sensor Networks, Signal Processing and Machine Learning. CRC Press, pp. 379-396. ISBN 9780429066962

Gönczy, L. and Csertán, G. and Urbanics, G. and Ghani, H. and Khelil, A. and Suri, Neeraj (2012) Monitoring and evaluation of semantic rooms. In: Collaborative Financial Infrastructure Protection : Tools, Abstractions, and Middleware. Springer Berlin / Heidelberg, pp. 99-116. ISBN 9783642204203

Khelil, A. and Germanus, D. and Suri, Neeraj (2012) Protection of SCADA communication channels : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). In: Critical Infrastructure Protection : Information Infrastructure Models, Analysis, and Defense. Springer, pp. 177-196. ISBN 9783642289194

Luna, J. and Ghani, H. and Vateva, T. and Suri, Neeraj (2012) Quantitative assessment of Cloud Security Level Agreements : A case study. In: Proceedings of the International Conference on Security and Cryptography - Volume 1 : SECRYPT, 2012, Rome, Italy. SciTePress, pp. 64-73. ISBN 9789898565242

Rak, M. and Ghani, H. and Ficco, M. and Suri, Neeraj and Luna, J. and Panica, S. and Petcu, D. (2012) Security issues in cloud federations. In: Achieving Federated and Self-Manageable Cloud Infrastructures : Theory and Practice. IGI Global, pp. 176-194. ISBN 9781466616318

Khelil, A. and Chang, H. and Suri, Neeraj (2011) Assessing the comparative effectiveness of map construction protocols in wireless sensor networks. In: 30th IEEE International Performance Computing and Communications Conference :. IEEE. ISBN 9781467300100

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Supporting domain-specific state space reductions through local partial-order reduction. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) :. IEEE, pp. 113-122. ISBN 9781457716386

Ali, A. and Khelil, A. and Szczytowski, P. and Suri, Neeraj (2011) An adaptive and composite spatio-temporal data compression approach for wireless sensor networks. In: Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems :. ACM, pp. 67-76.

Khelil, A. and Shaikh, F.K. and Ayari, B. and Suri, Neeraj (2011) MWM : A map-based world model for wireless sensor networks. In: Autonomics : 2nd International ICST Conference on Autonomic Computing and Communication Systems. EUDL. ISBN 9789639799349

Luna, J. and Ghani, H. and Germanus, D. and Suri, Neeraj (2011) A security metrics framework for the Cloud. In: Proceedings of the International Conference on Security and Cryptography 2011 :. IEEE, pp. 245-250.

Clarke, J. and Suri, Neeraj and Riguidel, M. and Pasic, A. (2011) Building a long term strategy for international collaboration in trustworthy ICT : Security, privacy and trust in global networks and services. In: 2011 First SysSec Workshop :. IEEE, pp. 90-93. ISBN 9781457715280

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Efficient model checking of fault-tolerant distributed protocols. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 73-84. ISBN 9781424492329

Szczytowski, P. and Khelil, A. and Ali, A. and Suri, Neeraj (2011) TOM : Topology oriented maintenance in sparse Wireless Sensor Networks. In: 2011 8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks :. IEEE, pp. 548-556. ISBN 9781457700941

Dobre, D. and Guerraoui, R. and Majuntke, M. and Suri, Neeraj and Vukolić, M. (2011) The complexity of robust atomic storage. In: PODC '11 Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing :. ACM, pp. 59-68. ISBN 9781450307192

Winter, S. and Sârbu, C. and Suri, Neeraj and Murphy, B. (2011) The impact of fault models on software robustness evaluations. In: Proceedings of the 33rd International Conference on Software Engineering :. ACM, pp. 51-60. ISBN 9781450304450

Biedermann, A. and Piper, T. and Patzina, L. and Patzina, S. and Huss, S.A. and Schürr, A. and Suri, Neeraj (2011) Enhancing FPGA robustness via generic monitoring IP cores. In: Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1 : PECCS, 2011, Vilamoura, Algarve, Portugal. SciTePress, pp. 379-386. ISBN 9789898425485

Majuntke, M. and Dobre, D. and Cachin, C. and Suri, Neeraj (2011) Fork-consistent constructions from registers. In: Principles of Distributed Systems : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. UNSPECIFIED, pp. 283-298. ISBN 9783642258725

Khelil, A. and Reinl, C. and Ayari, B. and Shaikh, F.K. and Szczytowski, P. and Ali, A. and Suri, Neeraj (2011) Wireless Sensor Cooperation for a Sustainable Quality of Information. In: Pervasive Computing and Networking :. John Wiley and Sons, pp. 71-100. ISBN 9780470747728

Germanus, D. and Dionysiou, I. and Gjermundrød, H. and Khelil, A. and Suri, Neeraj and Bakken, D.E. and Hauser, C. (2010) Leveraging the next-generation power grid : Data sharing and associated partnerships. In: 2010 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe) :. IEEE. ISBN 9781424485086

Serafini, M. and Dobre, D. and Majuntke, M. and Bokor, P. and Suri, Neeraj (2010) Eventually linearizable shared objects. In: PODC '10 Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing :. ACM, pp. 95-104. ISBN 9781605588889

Serafini, M. and Bokor, P. and Dobre, D. and Majuntke, M. and Suri, Neeraj (2010) Scrooge : Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 353-362. ISBN 9781424475001

Szczytowski, P. and Khelil, A. and Suri, Neeraj (2010) LEHP : Localized energy hole profiling in wireless sensor networks. In: The IEEE symposium on Computers and Communications :. IEEE, pp. 100-106. ISBN 9781424477548

Szczytowski, P. and Khelil, A. and Suri, Neeraj (2010) ASample : Adaptive spatial sampling in Wireless Sensor Networks. In: 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing :. IEEE, pp. 35-42. ISBN 97814244-0877

Shaikh, F.K. and Khelil, A. and Ayari, B. and Szczytowski, P. and Suri, Neeraj (2010) Generic information transport for wireless sensor networks. In: 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing :. ACM, pp. 27-34. ISBN 9781424470877

Mahmudimanesh, M. and Khelil, A. and Suri, Neeraj (2010) Reordering for better compressibility: Efficient spatial sampling in Wireless Sensor Networks. In: 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing :. IEEE, pp. 50-57. ISBN 9781424470877

Ayari, B. and Khelil, A. and Saffar, K. and Suri, Neeraj (2010) Data-based agreement for inter-vehicle coordination. In: 2010 Eleventh International Conference on Mobile Data Management :. IEEE, pp. 279-280. ISBN 9781424470754

Ayari, B. and Khelil, A. and Suri, Neeraj (2010) ParTAC : A Partition-Tolerant Atomic Commit protocol for MANETs. In: 2010 Eleventh International Conference on Mobile Data Management :. IEEE, pp. 135-144. ISBN 9781424470754

Dobre, D. and Majuntke, M. and Serafini, M. and Suri, Neeraj (2010) HP : Hybrid paxos for WANs. In: 2010 European Dependable Computing Conference :. IEEE, pp. 117-126. ISBN 9781424465934

Eckel, A. and Milbredt, P. and Al-Ars, Z. and Schneele, S. and Vermeulen, B. and Csertán, G. and Scheerer, C. and Suri, Neeraj and Khelil, A. and Fohler, G. and Obermaisser, R. and Fidi, C. (2010) INDEXYS, a logical step beyond GENESYS. In: Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Springer, pp. 431-451. ISBN 3642156509

Germanus, D. and Khelil, A. and Suri, Neeraj (2010) Increasing the resilience of critical SCADA systems using peer-to-peer overlays. In: Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings. Springer, pp. 161-178. ISBN 3642135552

Ali, A. and Khelil, A. and Shaikh, F.K. and Suri, Neeraj (2010) MPM : Map based Predictive Monitoring for Wireless Sensor Networks. In: Autonomic Computing and Communications Systems : Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers. Springer, pp. 79-95. ISBN 3642114814

Bokor, P. and Serafini, M. and Suri, Neeraj (2010) On efficient models for model checking message-passing distributed protocols. In: Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, pp. 216-223. ISBN 3642134637

Khelil, A. and Jeckel, S. and Germanus, D. and Suri, Neeraj (2010) Towards benchmarking of P2P technologies from a SCADA systems protection perspective. In: Mobile Lightweight Wireless Systems : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers. Springer, pp. 400-414. ISBN 3642166431

Dobre, D. and Majuntke, M. and Suri, Neeraj (2009) Low-latency access to robust amnesic storage. In: LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware :. ACM. ISBN 9781605582962

Szczytowski, P. and Khelil, A. and Suri, Neeraj (2009) MAP-based modeling and design of wireless sensor networks with OMNeT++. In: 2009 International Symposium on Performance Evaluation of Computer & Telecommunication Systems :. IEEE, pp. 162-169. ISBN 9781424441655

Sârbu, C. and Nagappan, N. and Suri, Neeraj (2009) On equivalence partitioning of code paths inside OS kernel components. In: 2009 Software Technologies for Future Dependable Distributed Systems :. IEEE, pp. 17-19. ISBN 9780769535722

Khelil, A. and Shaikh, F.K. and Ali, A. and Suri, Neeraj (2009) gMAP : Efficient construction of global maps for mobility-assisted wireless sensor networks. In: 2009 Sixth International Conference on Wireless On-Demand Network Systems and Services :. IEEE, pp. 189-196. ISBN 9781424433759

Shaikh, Faisal Karim and Khelil, Abdelmajid and Suri, Neeraj (2009) AReIT : Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks. In: Proceedings of the 2009 International Conference on Wireless Networks, ICWN 2009 :. CSREA Press, pp. 75-81. ISBN 1601321139

Majuntke, M. and Dobre, D. and Serafini, M. and Suri, Neeraj (2009) Abortable fork-linearizable storage. In: Principles of Distributed Systems : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, pp. 255-269. ISBN 3642108768

Bokor, Péter and Serafini, Marco and Suri, Neeraj and Veith, Helmut (2009) Brief Announcement : Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. In: Distributed Computing : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, pp. 289-290. ISBN 9783642043543

Dobre, D. and Majuntke, M. and Serafini, M. and Suri, Neeraj (2009) Efficient robust storage using secret tokens. In: Stabilization, Safety, and Security of Distributed Systems : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer, pp. 269-283. ISBN 3642051170

D'Antonio, S. and Romano, L. and Khelil, A. and Suri, Neeraj (2009) INcreasing security and protection through infrastructure REsilience: The INSPIRE project. In: Critical Information Infrastructure Security : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers. Springer, pp. 109-118. ISBN 3642035515

Szczytowski, Piotr and Khelil, Abdelmajid and Suri, Neeraj (2009) MAP++ : support for map-based WSN modeling and design with OMNeT++. In: 2nd International ICST Workshop on OMNeT++ :. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). ISBN 9789639799455

Khelil, A. and Shaikh, F.K. and Szczytowski, P. and Ayari, B. and Suri, Neeraj (2009) Map-based design for autonomic wireless sensor networks. In: Autonomic Communication :. Tsinghua University Press & Springer-Verlag, pp. 309-326. ISBN 9780387097527

Bokor, P. and Serafini, M. and Suri, Neeraj and Veith, H. (2009) Role-based symmetry reduction of fault-tolerant distributed protocols with language support. In: Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, pp. 147-166. ISBN 3642103723

Sakurai, K. and Bokor, P. and Suri, Neeraj (2008) Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications. In: 2008 11th IEEE High Assurance Systems Engineering Symposium :. IEEE, pp. 261-270. ISBN 9780769534824

Serafini, M. and Suri, Neeraj (2008) Reducing the costs of large-scale BFT replication. In: LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware :. ACM. ISBN 9781605582962

Deshpande, P.M. and Garg, D. and Suri, Neeraj (2008) Auction based models for ticket allocation problem in IT service delivery industry. In: 2008 IEEE International Conference on Services Computing :. IEEE, pp. 111-118. ISBN 9780769532837

Suri, Neeraj (2008) Message from the DCCS program chair. In: 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) :. Proc. Int. Conf. Dependable Syst. Networks . IEEE, ii. ISBN 9781424423972

Shaikh, F.K. and Khelil, A. and Suri, Neeraj (2008) A comparative study of data transport protocols in wireless sensor networks. In: 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks :. IEEE. ISBN 9781424420995

Ayari, B. and Khelil, A. and Suri, Neeraj (2008) Delay-aware mobile transactions. In: Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings. Springer, pp. 280-291. ISBN 3540877843

Suri, Neeraj and Fetzer, Christof and Abraham, Jacob A. and Poledna, Stefan and Mendelson, Avi and Mitra, Subhasish (2008) Dependable Embedded Systems Special Day Panel : Issues and Challenges in Dependable Embedded Systems. In: 2008 Design, Automation and Test in Europe :. IEEE. ISBN 9783981080131

Sârbu, C. and Johansson, A. and Suri, Neeraj (2008) Execution path profiling for OS device drivers: Viability and methodology. In: Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings. UNSPECIFIED, pp. 90-109. ISBN 3540681280

Dobre, D. and Majuntke, M. and Suri, Neeraj (2008) On the time-complexity of robust and amnesic storage. In: Principles of Distributed Systems : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Springer, pp. 197-216. ISBN 9783540922209

Johansson, A. and Suri, Neeraj (2008) Robustness Evaluation of Operating Systems. In: Information Assurance : The Morgan Kaufmann Series in Networking. Elsevier Inc., pp. 349-375. ISBN 9780123735669

Bokor, P. and Serafini, M. and Sisak, Á. and Pataricza, A. and Suri, Neeraj (2007) Sustaining property verification of synchronous dependable protocols over implementation. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) :. IEEE, pp. 169-178. ISBN 0769530435

Johansson, A. and Suri, Neeraj and Murphy, B. (2007) On the impact of injection triggers for OS robustness evaluation. In: The 18th IEEE International Symposium on Software Reliability (ISSRE '07) :. IEEE, pp. 127-136. ISBN 0769530249

Dobre, D. and Ramasamy, H.V. and Suri, Neeraj (2007) On the latency efficiency of message-parsimonious asynchronous atomic broadcast. In: 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) :. IEEE, pp. 311-322. ISBN 076952995X

Serafini, M. and Suri, Neeraj (2007) The fail-heterogeneous architectural model. In: 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) :. IEEE, pp. 103-113. ISBN 076952995X

Johansson, A. and Suri, Neeraj and Murphy, B. (2007) On the selection of error model(s) for OS robustness evaluation. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) :. IEEE, pp. 502-511. ISBN 0769528554

Serafini, M. and Suri, Neeraj and Vinter, J. and Ademaj, A. and Brandstätter, W. and Tagliabò, F. and Koch, J. (2007) A tunable add-on diagnostic protocol for time-triggered systems. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) :. IEEE, pp. 164-173. ISBN 0769528554

Shaikh, F.K. and Khelil, A. and Suri, Neeraj (2007) On modeling the reliability of data transport in wireless sensor networks. In: 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) :. IEEE, pp. 395-402. ISBN 0769527841

Suri, Neeraj and Narahari, Y. (2007) Broadcast in ad hoc wireless networks with selfish nodes : A Bayesian incentive compatibility approach. In: 2007 2nd International Conference on Communication Systems Software and Middleware :. IEEE. ISBN 1424406137

Khelil, A. and Suri, Neeraj (2007) Gossiping : Adaptive and reliable broadcasting in MANETs. In: Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings. Springer, pp. 123-141. ISBN 3540752935

Islam, S. and Suri, Neeraj (2007) A multi variable optimization approach for the design of integrated dependable real-time embedded systems. In: Embedded and Ubiquitous Computing : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings. Springer, pp. 517-530. ISBN 9783540770916

Ayari, B. and Khelil, A. and Suri, Neeraj (2006) FT-PPTC : An efficient and fault-tolerant commit protocol for mobile environments. In: 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06) :. IEEE, pp. 96-105. ISBN 0769526772

Dobre, D. and Suri, Neeraj (2006) One-step consensus with zero-degradation. In: International Conference on Dependable Systems and Networks (DSN'06) :. IEEE, pp. 137-142. ISBN 0769526071

Islam, S. and Lindström, R. and Suri, Neeraj (2006) Dependability driven integration of mixed criticality SW components. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) :. IEEE, pp. 485-495. ISBN 076952561X

Suri, Neeraj and Narahari, Y. (2006) An auction algorithm for procuring wireless channel in a heterogenous wireless network. In: 2006 IFIP International Conference on Wireless and Optical Communications Networks :. IEEE. ISBN 1424403405

Suri, Neeraj and Narahari, Y. and Manjunath, D. (2006) An efficient pricing based protocol for broadcasting in wireless ad hoc networks. In: 2006 1st International Conference on Communication Systems Software & Middleware :. IEEE. ISBN 0780395751

Sârbu, C. and Johansson, A. and Fraikin, F. and Suri, Neeraj (2006) Improving robustness testing of COTS OS extensions. In: Service Availability : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers. Springer-Verlag, pp. 120-139. ISBN 3540687246

Johansson, A. and Suri, Neeraj (2005) Error propagation profiling of operating systems. In: 2005 International Conference on Dependable Systems and Networks (DSN'05) :. IEEE, pp. 86-95. ISBN 0769522823

Jhumka, A. and Suri, Neeraj (2005) Designing efficient fail-safe multitolerant systems. In: Formal Techniques for Networked and Distributed Systems - FORTE 2005 :. Springer, pp. 428-422. ISBN 354029189X

Malek, M. and Suri, Neeraj (2005) General and program chairs' message. In: Service Availability : Second International Service Availability Symposium, ISAS 2005. Springer-Verlag, V-VI. ISBN 3540291032

Suri, Neeraj (2005) Message from the program chair. In: Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) :. Proc. IEEE Int. Symp. High Assur. Syst. Eng. . IEEE. ISBN 0769523773

Gill, C. and Suri, Neeraj and Hong, Y.-S. (2005) Message from the program chairs. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems :. Proc. Int. Workshop Object Oriented Real Time Dependable Syst. WORDS . IEEE. ISBN 0769523471

Cukic, B. and Lyu, M.R. and Suri, Neeraj (2005) Message from the program committee co-chairs. In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05) :. Proc IEEE Symp Reliab Distrib Syst . IEEE. ISBN 076952463X

Johansson, A. and Sârbu, A. and Jhumka, A. and Suri, Neeraj (2005) On enhancing the robustness of commercial operating systems. In: Service Availability : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Springer, pp. 148-159. ISBN 9783540244202

Suri, Neeraj (2004) Panel statement: Why progress in (composite) fault tolerant real-time systems has been slow (-er than expected... & what can we do about it?). In: Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. :. IEEE, pp. 112-113. ISBN 0769522394

Suri, Neeraj (2004) On dependability driven software and hardware integration. In: Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. :. IEEE, pp. 45-49. ISBN 0769521231

Claesson, V. and Suri, Neeraj (2004) TTET : Event-triggered channels on a time-triggered base. In: ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age :. ACM, pp. 39-46. ISBN 0769521096

Jhumka, A. and Hiller, M. and Suri, Neeraj (2004) An approach for designing and assessing detectors for dependable component-based systems. In: Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings :. Proc. IEEE Int. Symp. High Assur. Syst. Eng., 8 . IEEE, pp. 69-78. ISBN 0769520944

Suri, Neeraj (2004) The need for a generalized compositional framework. In: 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. :. IEEE, p. 340. ISBN 0769520766

Some, Raphael R. and Avizienis, Algirdas and Gaisler, Jiri and Ihara, Hirokazu and Mukherjee, Shubu and Suri, Neeraj (2004) Panel Summary Statements. In: 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. :. IEEE. ISBN 0769520766

Kim, K. H. (Kane) and Ezhilchelvan, Paul D. and Kaiser, Jörg and Moser, Louise E. and Nett, Edgar and Suri, Neeraj (2004) Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? In: IEEE Symposium on Reliable Distributed Systems :. IEEE.

Kopetz, H. and Suri, Neeraj (2003) On the limits of the precise specification of component interfaces. In: 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems :. IEEE, pp. 26-27. ISBN 0179520545

Fetzer, C. and Suri, Neeraj (2003) Practical aspects of IP take-over mechanisms. In: 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems :. IEEE, pp. 250-254. ISBN 0179520545

Kopetz, H. and Suri, Neeraj (2003) Compositional design of RT systems : A conceptual basis for specification of linking interfaces. In: Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003. :. IEEE, pp. 51-60. ISBN 0769519288

Claesson, V. and Ekelin, C. and Suri, Neeraj (2003) The event-triggered and time-triggered medium-access methods. In: Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003 :. IEEE, pp. 131-134. ISBN 0769519288

Jhumka, A. and Suri, Neeraj and Hiller, M. (2003) A framework for the design and validation of efficient fail-safe fault-tolerant programs. In: Software and Compilers for Embedded Systems :. Springer-Verlag, pp. 182-197. ISBN 9783540201458

Askerdal, O. and Gäfvert, M. and Hiller, M. and Suri, Neeraj (2002) A control theory approach for analyzing the effects of data errors in safety-critical control systems. In: Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings :. IEEE, pp. 105-114. ISBN 0769518524

Jhumka, A. and Hiller, M. and Suri, Neeraj (2002) An approach to specify and test component-based dependable software. In: 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. :. IEEE, pp. 211-220. ISBN 0769517692

Hiller, M. and Jhumka, A. and Suri, Neeraj (2002) PROPANE : An environment for examining the propagation of errors in software. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis : ISSTA '02. ACM, pp. 81-85. ISBN 1581135629

Hiller, M. and Jhumka, A. and Suri, Neeraj (2002) On the placement of software mechanisms for detection of data errors. In: Proceedings International Conference on Dependable Systems and Networks :. UNSPECIFIED, pp. 135-144. ISBN 0769515975

Jhumka, A. and Hiller, M. and Claesson, V. and Suri, Neeraj (2002) On systematic design of globally consistent executable assertions in embedded software. In: Proceedings of the joint conference on Languages, compilers and tools for embedded systems : software and compilers for embedded systems. ACM, pp. 75-84. ISBN 1581135270

Jhumka, A. and Hiller, M. and Suri, Neeraj (2002) Component-based synthesis of dependable embedded software. In: Formal Techniques in Real-Time and Fault-Tolerant Systems :. Springer-Verlag, pp. 111-128. ISBN 9783540441656

Jhumka, A. and Hiller, M. and Suri, Neeraj (2001) Assessing inter-modular error propagation in distributed software. In: Proceedings 20th IEEE Symposium on Reliable Distributed Systems :. IEEE, pp. 152-161. ISBN 0769513662

Claesson, V. and Lönn, H. and Suri, Neeraj (2001) Efficient TDMA synchronization for distributed embedded systems. In: Proceedings 20th IEEE Symposium on Reliable Distributed Systems :. IEEE, pp. 198-201. ISBN 0769513662

Sinha, P. and Suri, Neeraj (2001) On simplifying modular specification and verification of distributed protocols. In: Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering : Special Topic: Impact of Networking. IEEE, pp. 173-181. ISBN 0769512755

Torin, J. and Suri, Neeraj (2001) Message from the conference chairs. In: Proceedings of the 2001 International Conference on Dependable Systems and Networks :. ACM, USA, xiii-xiv. ISBN 0769511015

Hiller, M. and Jhumka, A. and Suri, Neeraj (2001) An approach for analysing the propagation of data errors in software. In: 2001 International Conference on Dependable Systems and Networks :. IEEE, pp. 161-170. ISBN 0769511015

Mendelson, A. and Suri, Neeraj (2000) Designing high-performance & reliable superscalar architectures the out of order reliable superscalar (O3RS) approach. In: Proceeding International Conference on Dependable Systems and Networks :. IEEE, USA, pp. 473-481. ISBN 0769507077

Walter, C.J. and Suri, Neeraj and Monaghan, T. (2000) Evaluating COTS standards for design of dependable systems. In: Proceeding International Conference on Dependable Systems and Networks. : DSN 2000. IEEE, pp. 87-92. ISBN 0769507077

Sinha, Purnendu and Suri, Neeraj (1999) On the use of formal techniques for analyzing dependable real-time protocols. In: Proceedings 20th IEEE Real-Time Systems Symposium :. IEEE, USA, pp. 126-135. ISBN 0769504752

Sinha, Purnendu and Suri, Neeraj (1999) Identification of test cases using a formal approach. In: Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing :. Proc Annu Int Conf Fault Tolerant Comput . IEEE, USA, pp. 314-321. ISBN 076950213X

Suri, Neeraj and Ghosh, S. and Marlowe, T. (1998) A framework for dependability driven software integration. In: Proceedings. 18th International Conference on Distributed Computing Systems :. IEEE, NLD, pp. 406-415. ISBN 0818682922

Mendelson, A. and Suri, Neeraj (1997) Cache based fault recovery for distributed systems. In: Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems :. IEEE, ITA, pp. 119-129. ISBN 0818681268

Mendelson, A. and Suri, Neeraj and Zimmerman, O. (1996) Roll-forward recovery : the bidirectional cache approach. In: Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems :. IEEE, USA, pp. 59-68. ISBN 0818668075

Suri, Neeraj and Mendelson, Avi and Pradhan, Dhiraj K. (1991) BDG-torus union graph-an efficient algorithmically specialized parallel interconnect. In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing :. IEEE. ISBN 0818623101

Monograph

Herzner, W. and Schlick, R. and Schlager, M. and Leiner, B. and Huber, B. and Balogh, A. and Csertan, G. and Leguennec, A. and Lesergent, T. and Suri, Neeraj and Islam, S. (2007) Model-based development of distributed embedded real-time systems with the DECOS tool-chain. Other. SAE International.

Contribution to Conference

Kastanakis, Savvas and Giotsas, Vasileios and Livadariu, Ioana and Suri, Neeraj (2023) Replication: 20 Years of Inferring Interdomain Routing Policies. In: 2023 ACM Internet Measurement Conference, 2023-10-24 - 2023-10-26, Montreal, Canada.

Trawicki, Stefan and Hackett, William and Birch, Lewis and Suri, Neeraj and Garraghan, Peter (2023) Compilation as a Defense : Enhancing DL Model Attack Robustness via Tensor Optimization. In: Conference on Applied Machine Learning for Information Security, 2023-10-19 - 2023-10-20, Sands Capital Building, 1000 Wilson Boulevard, 30th Floor.

Birch, Lewis and Hackett, William and Trawicki, Stefan and Suri, Neeraj and Garraghan, Peter (2023) Model Leeching : An Extraction Attack Targeting LLMs. In: Conference on Applied Machine Learning for Information Security, 2023-10-19 - 2023-10-20, 1000 Wilson Boulevard, 30th Floor.

Yuksek, Burak and Yu, Zhengxin and Suri, Neeraj and Inalhan, Gokhan (2023) Federated Meta Learning for Visual Navigation in GPS-denied Urban Airspace. In: 42nd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2023-10-01 - 2023-10-05. (In Press)

Manzoor, Salman and Gouglidis, Antonios and Bradbury, Matthew and Suri, Neeraj (2022) Poster: Multi-Layer Threat Analysis of the Cloud. In: ACM Conference on Computer and Communications Security, 2022-11-07 - 2022-11-11.

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

Pellegrino, Giancarlo and Balzarotti, Davide and Winter, Stefan and Suri, Neeraj (2015) In the Compression Hornet's Nest: : A Security Study of Data Compression in Network Services. In: 24th USENIX Security Symposium, 2012-08-10 - 2012-08-12.

Sachidananda, V. and Khelil, A. and Suri, Neeraj (2010) Quality of information in wireless sensor networks: A survey. In: 15th International Conference on Information Quality (ICIQ ′10), 2010-11-01 - 2010-11-03.

Shaikh, F.K. and Khelil, A. and Ali, A. and Suri, Neeraj (2010) TRCCIT : Tunable reliability with congestion control for information transport in wireless sensor networks. In: UNSPECIFIED.

Sakurai, K. and Matsubara, M. and Serafini, M. and Suri, Neeraj (2008) Dependable and cost-effective architecture for X-by-wire systems with membership middleware. In: Other32nd FISITA World Automotive Congress 2008, 2008-09-14 - 2008-09-19.

Sinha, P. and Suri, Neeraj (2001) Modular composition of redundancy management protocols in distributed systems : An outlook on simplifying protocol level formal specification & verification. In: 21st International Conference on Distributed Computing Systems, 2001-04-16 - 2001-04-19.

Walter, C. and Suri, Neeraj and Monaghan, T. (1995) Dependability issues in the reuse of standard components in open architectures. In: UNSPECIFIED.

Book/Report/Proceedings

Aldini, A. and Martinelli, F. and Suri, Neeraj and N., Suri (2016) Foreword from the QASA 2016 program chairs. Springer. ISBN 03029743 (ISSN); 9783319470719 (ISBN)

Thesis

Kastanakis, Savvas and Giotsas, Vasileios and Suri, Neeraj (2025) The Good, the Bad, and the Ugly of BGP Routing Modeling: Confounding Factors, Selective Announcements and Location-aware Simulations. PhD thesis, Lancaster University.

Chen, Yiqun and Suri, Neeraj and Bradbury, Matthew (2023) Towards More Effective Performance Testing. PhD thesis, Lancaster University.

Manzoor, Salman and Suri, Neeraj and Prince, Daniel (2022) On the Security Assessment of the Cloud. PhD thesis, Lancaster University.

Other

Germond, Basil and Suri, Neeraj (2023) The influence of geopolitics on polar research – Options for HM Government. UNSPECIFIED.

Germond, Basil and Suri, Neeraj (2023) Response to the Call for evidence: “The UK and the Arctic Environment”. UNSPECIFIED.

This list was generated on Fri May 16 19:04:04 2025 UTC.