Home > Research > Researchers > Professor Neeraj Suri > Publications

Research

Professor Neeraj Suri

Chair in Cyber Security

1 - 100 out of 295Page size: 100
RSS feed of this list
  1. Published

    C'MON: Monitoring the compliance of cloud services to contracted properties

    Alboghdady, S., Winter, S., Taha, A., Zhang, H. & Suri, N., 29/08/2017, ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, p. 6 36

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    Foreword from the QASA 2016 program chairs

    Aldini, A., Martinelli, F., Suri, N., G., L. (ed.), A., A. (ed.), V., T. (ed.), F., M. (ed.) & N., S., 2016, Springer.

    Research output: Book/Report/Proceedings › Book

  3. Published

    Foreword from the QASA 2014 program chairs

    Aldini, A., Martinelli, F., Suri, N., J., P. (ed.), N., S., E., L. (ed.), J., H-J. (ed.), J., G-A., F., M. & A., A., 2015, 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 Selected Papers. Springer-Verlag, Vol. 8872. 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  4. Published

    Foreword from the QASA 2015 chairs

    Aldini, A., Martinelli, F., Suri, N., G., N-A. (ed.), A., A., F., M., N., S. & J., G-A. (ed.), 21/09/2015, 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, Vol. 9481. 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  5. Published

    Adaptive hybrid compression for wireless sensor networks

    Ali, A., Khelil, A., Suri, N. & Mahmudimanesh, M., 1/12/2015, In: ACM Transactions on Sensor Networks. 11, 4, 36 p., 53.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Efficient predictive monitoring of wireless sensor networks

    Ali, A., Khelil, A., Shaikh, F. K. & Suri, N., 2012, In: International Journal of Autonomous and Adaptive Communications Systems. 5, 3, p. 233-254 22 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    MPM: Map based Predictive Monitoring for Wireless Sensor Networks

    Ali, A., Khelil, A., Shaikh, F. K. & Suri, N., 2010, Autonomic Computing and Communications Systems: Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers. Springer, Vol. 23 LNICST. p. 79-95 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  8. Published

    An adaptive and composite spatio-temporal data compression approach for wireless sensor networks

    Ali, A., Khelil, A., Szczytowski, P. & Suri, N., 31/10/2011, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems. ACM, p. 67-76 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    FTDE: Distributed Fault Tolerance for WSN Data Collection and Compression Schemes

    Ali, A., Khelil, A. & Suri, N., 7/01/2016, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS). IEEE, p. 140-145 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks

    Almeida Soares, E., Angelov, P. & Suri, N., 30/01/2023, Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022. Ishibuchi, H., Kwoh, C-K., Tan, A-H., Srinivasan, D., Miao, C., Trivedi, A. & Crockett, K. (eds.). IEEE, p. 1028-1035 8 p. (Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    CIPSEC-enhancing critical infrastructure protection with innovative security framework

    Álvarez, A., Trapero, R., Guilhot, D., García-Mila, I., Hernandez, F., Marín-Tordera, E., Forne, J., Masip-Bruin, X., Suri, N., Heinrich, M., Katzenbeisser, S., Athanatos, M., Ioannidis, S., Kallipolitis, L., Spais, I., Fournaris, A. & Lampropoulos, K., 30/06/2019, Challenges in Cybersecurity and Privacy: the European Research Landscape. River Publishers, p. 129-148 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  12. Published

    Analyzing the Impact of Data Errors in Safety-Critical Control Systems

    Askerdal, Ö., Gäfvert, M., Hiller, M. & Suri, N., 2003, In: IEICE Transactions on Information and Systems. E86-D, 12, p. 2623-2633 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  13. Published

    A control theory approach for analyzing the effects of data errors in safety-critical control systems

    Askerdal, O., Gäfvert, M., Hiller, M. & Suri, N., 16/12/2002, Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. IEEE, p. 105-114 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

    GMTC: A generalized commit approach for hybrid mobile environments

    Ayari, B., Khelil, A. & Suri, N., 1/12/2013, In: IEEE Transactions on Mobile Computing. 12, 12, p. 2399-2411 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    On the design of perturbation-resilient atomic commit protocols for mobile transactions

    Ayari, B., Khelil, A. & Suri, N., 1/08/2011, In: ACM Transactions on Computer Systems. 29, 3, 7.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Exploring delay-aware transactions in heterogeneous mobile environments

    Ayari, B., Khelil, A. & Suri, N., 2009, In: Journal of Software. 4, 7, p. 634-643 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    FT-PPTC: An efficient and fault-tolerant commit protocol for mobile environments

    Ayari, B., Khelil, A. & Suri, N., 2/10/2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06). IEEE, p. 96-105 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  18. Published

    Delay-aware mobile transactions

    Ayari, B., Khelil, A. & Suri, N., 2008, 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, Vol. 5287 LNCS. p. 280-291 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  19. Published

    Data-based agreement for inter-vehicle coordination

    Ayari, B., Khelil, A., Saffar, K. & Suri, N., 23/05/2010, 2010 Eleventh International Conference on Mobile Data Management. IEEE, p. 279-280 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    ParTAC: A Partition-Tolerant Atomic Commit protocol for MANETs

    Ayari, B., Khelil, A. & Suri, N., 23/05/2010, 2010 Eleventh International Conference on Mobile Data Management. IEEE, p. 135-144 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    Enhancing FPGA robustness via generic monitoring IP cores

    Biedermann, A., Piper, T., Patzina, L., Patzina, S., Huss, S. A., Schürr, A. & Suri, N., 2011, Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, 2011, Vilamoura, Algarve, Portugal. SciTePress, p. 379-386 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  22. Published

    Model Leeching: An Extraction Attack Targeting LLMs

    Birch, L., Hackett, W., Trawicki, S., Suri, N. & Garraghan, P., 20/10/2023.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  23. Published

    A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems

    Birkholz, H., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Arul, T., Heinrich, M., Katzenbeisser, S., Suri, N., Vateva-Gurova, T. & Schlehuber, C., 25/06/2018. 4 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  24. Published

    Sustaining property verification of synchronous dependable protocols over implementation

    Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  25. Published

    Role-based symmetry reduction of fault-tolerant distributed protocols with language support

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  26. Published

    On efficient models for model checking message-passing distributed protocols

    Bokor, P., Serafini, M. & Suri, N., 2010, 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, Vol. 6117 LNCS. p. 216-223 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  27. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 27/06/2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN). IEEE, p. 73-84 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  28. Published

    Supporting domain-specific state space reductions through local partial-order reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  29. Published

    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  30. Published

    IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

    Chan, A., Winter, S., Saissi, H., Pattabiraman, K. & Suri, N., 13/03/2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 184-195 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  31. Published

    Time-critical fog computing for vehicular networks

    Chebaane, A., Khelil, A. & Suri, N., 5/05/2020, Fog Computing: Theory and Practice. Zomaya, A., Abbas, A. & Khan, S. (eds.). London: Wiley, p. 431-458 28 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  32. Inferring Performance Bug Patterns from Developer Commits

    Chen, Y., Winter, S. & Suri, N., 17/07/2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 70-81 12 p. 8987574. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  33. Published

    SlowCoach: Mutating Code to Simulate Performance Bugs

    Chen, Y., Schwahn, O., Natella, R., Bradbury, M. & Suri, N., 21/12/2022, 33rd IEEE International Symposium on Software Reliability Engineering. New York: IEEE, p. 274-285 12 p. (2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  34. Published

    Towards Effective Performance Fuzzing

    Chen, Y., Bradbury, M. & Suri, N., 26/12/2022, 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 128-129 2 p. (Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  35. Published

    Challenges in Identifying Network Attacks Using Netflow Data

    Chuah, E., Suri, N., Jhumka, A. & Alt, S., 31/01/2022, 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  36. Published

    Failure Diagnosis for Cluster Systems using Partial Correlations

    Chuah, E., Jhumka, A., Alt, S., Evans, R. T. & Suri, N., 22/12/2021, 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, p. 1091-1101 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  37. Published

    A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems

    Chuah, E., Jhumka, A., Malek, M. & Suri, N., 29/12/2022, In: IEEE Access. 10, p. 133487-133503 17 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  38. Published

    An efficient TDMA start-up and restart synchronization approach for distributed embedded systems

    Claesson, V., Lönn, H. & Suri, N., 13/09/2004, In: IEEE Transactions on Parallel and Distributed Systems. 15, 8, p. 725-739 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  39. Published

    Efficient TDMA synchronization for distributed embedded systems

    Claesson, V., Lönn, H. & Suri, N., 31/10/2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems. IEEE, p. 198-201 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  40. Published

    The event-triggered and time-triggered medium-access methods

    Claesson, V., Ekelin, C. & Suri, N., 16/05/2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003. IEEE, p. 131-134 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  41. Published

    TTET: Event-triggered channels on a time-triggered base

    Claesson, V. & Suri, N., 14/04/2004, ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age. ACM, p. 39-46 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  42. Published

    Building a long term strategy for international collaboration in trustworthy ICT: Security, privacy and trust in global networks and services

    Clarke, J., Suri, N., Riguidel, M. & Pasic, A., 6/07/2011, 2011 First SysSec Workshop. IEEE, p. 90-93 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  43. Published

    Trust & security RTD in the internet of things: Opportunities for international cooperation

    Clarke, J., Sharma, A., Suri, N., Castro, R. R. & Lopez, J., 17/08/2012, Proceedings of the First International Conference on Security of Internet of Things. ACM, p. 172-178 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  44. Published

    TrEKer: Tracing error propagation in operating system kernels

    Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (ed.), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  45. Published

    MemFuzz: Using memory accesses to guide fuzzing

    Coppik, N., Schwahn, O. & Suri, N., 24/04/2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE, p. 48-58 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  46. Published

    Fast Kernel Error Propagation Analysis in Virtualized Environments

    Coppik, N., Darmstadt, TU. & Suri, N., 24/05/2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 159-170 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  47. Published

    Message from the program committee co-chairs

    Cukic, B., Lyu, M. R. & Suri, N., 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05). IEEE, 1 p. (Proc IEEE Symp Reliab Distrib Syst).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  48. Published

    Increasing security and protection of SCADA systems through infrastructure resilience

    D'Antonio, S., Romano, L., Khelil, A. & Suri, N., 2009, In: International Journal of System of Systems Engineering. 1, 4, p. 401-413 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  49. Published

    INcreasing security and protection through infrastructure REsilience: The INSPIRE project

    D'Antonio, S., Romano, L., Khelil, A. & Suri, N., 2009, Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers. Springer, Vol. 5508 LNCS. p. 109-118 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  50. Published

    Assessing privacy capabilities of cloud service providers

    Del Alamo, J. M., Trapero, R., Martin, Y. S., Yelmo, J. C. & Suri, N., 1/11/2015, In: IEEE Latin America Transactions. 13, 11, p. 3634-3641 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  51. Published

    MPTCP-H: A DDoS attack resilient transport protocol to secure wide area measurement systems

    Demir, K., Nayyer, F. & Suri, N., 1/06/2019, In: International Journal of Critical Infrastructure Protection. 25, p. 84-101 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  52. Published

    Securing the cloud-assisted smart grid

    Demir, K., Ismail, H., Vateva-Gurova, T. & Suri, N., 1/12/2018, In: International Journal of Critical Infrastructure Protection. 23, p. 100-111 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  53. Published

    Robust QoS-aware communication in the smart distribution grid

    Demir, K., Germanus, D. & Suri, N., 1/01/2017, In: Peer-to-Peer Networking and Applications. 10, 1, p. 193-207 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  54. Published

    Robust and real-time communication on heterogeneous networks for smart distribution grid

    Demir, K., Germanus, D. & Suri, N., 3/11/2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, p. 386-391 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  55. Published

    SeReCP: A secure and reliable communication platform for the smart grid

    Demir, K., Suri, N., M., K. (ed.), D.S., K. (ed.) & V., V. (ed.), 22/01/2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 175-184 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  56. Published

    Towards DDoS attack resilient wide area monitoring systems

    Demir, K. & Suri, N., 29/08/2017, ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, 7 p. 99

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  57. Published

    Auction based models for ticket allocation problem in IT service delivery industry

    Deshpande, P. M., Garg, D. & Suri, N., 7/07/2008, 2008 IEEE International Conference on Services Computing. IEEE, p. 111-118 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  58. Published

    One-step consensus with zero-degradation

    Dobre, D. & Suri, N., 25/06/2006, International Conference on Dependable Systems and Networks (DSN'06). IEEE, p. 137-142 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  59. Published

    On the latency efficiency of message-parsimonious asynchronous atomic broadcast

    Dobre, D., Ramasamy, H. V. & Suri, N., 12/10/2007, 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007). IEEE, p. 311-322 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  60. Published

    On the time-complexity of robust and amnesic storage

    Dobre, D., Majuntke, M. & Suri, N., 2008, Principles of Distributed Systems: 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Springer, Vol. 5401 LNCS. p. 197-216 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  61. Published

    Efficient robust storage using secret tokens

    Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 2009, Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer, Vol. 5873 LNCS. p. 269-283 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  62. Published

    Low-latency access to robust amnesic storage

    Dobre, D., Majuntke, M. & Suri, N., 15/09/2009, LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware. ACM, 3 p. 12

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  63. Published

    HP: Hybrid paxos for WANs

    Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 28/04/2010, 2010 European Dependable Computing Conference. IEEE, p. 117-126 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  64. Published

    The complexity of robust atomic storage

    Dobre, D., Guerraoui, R., Majuntke, M., Suri, N. & Vukolić, M., 6/06/2011, PODC '11 Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. ACM, p. 59-68 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  65. Published

    PoWerStore: Proofs of writing for efficient and robust storage

    Dobre, D., Karame, G., Li, W., Majuntke, M., Suri, N. & Vukolić, M., 4/11/2013, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. ACM, p. 285-297 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  66. Published

    Proofs of Writing for Robust Storage

    Dobre, D., Karame, G., Li, W., Majuntke, M., Suri, N. & Vukolic, M., 27/05/2019, In: IEEE Transactions on Parallel and Distributed Systems. 30, 11, p. 2547-2566 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  67. Published

    INDEXYS, a logical step beyond GENESYS

    Eckel, A., Milbredt, P., Al-Ars, Z., Schneele, S., Vermeulen, B., Csertán, G., Scheerer, C., Suri, N., Khelil, A., Fohler, G., Obermaisser, R. & Fidi, C., 2010, Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Springer, Vol. 6351 LNCS. p. 431-451 21 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  68. Published

    Practical aspects of IP take-over mechanisms

    Fetzer, C. & Suri, N., 1/10/2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, p. 250-254 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  69. Published

    Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012

    Freedman, M. J. (ed.) & Suri, N. (ed.), 2012.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  70. Published

    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 Selected Papers

    Garcia-Alfaro, J. (ed.), Herrera-Joancomartí, J. (ed.), Lupu, E. (ed.), Posegga, J. (ed.), Aldini, A. (ed.), Martinelli, F. (ed.) & Suri, N. (ed.), 2015, Springer. 343 p. (Lecture Notes in Computer Science)

    Research output: Book/Report/Proceedings › Book

  71. Published

    Increasing the resilience of critical SCADA systems using peer-to-peer overlays

    Germanus, D., Khelil, A. & Suri, N., 2010, Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings. Springer, Vol. 6150 LNCS. p. 161-178 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  72. Published

    Leveraging the next-generation power grid: Data sharing and associated partnerships

    Germanus, D., Dionysiou, I., Gjermundrød, H., Khelil, A., Suri, N., Bakken, D. E. & Hauser, C., 11/10/2010, 2010 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe). IEEE, 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  73. Published

    Susceptibility analysis of structured P2P systems to localized eclipse attacks

    Germanus, D., Langenberg, R., Khelil, A. & Suri, N., 8/10/2012, 2012 IEEE 31st Symposium on Reliable Distributed Systems. IEEE, p. 11-20 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  74. Published

    Coral: Reliable and low-latency P2P convergecast for critical sensor data collection

    Germanus, D., Khelil, A., Schwandke, J. & Suri, N., 21/10/2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, p. 300-305 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  75. Published

    Mitigating eclipse attacks in peer-to-peer networks

    Germanus, D., Roos, S., Strufe, T. & Suri, N., 29/10/2014, 2014 IEEE Conference on Communications and Network Security. Springer-Verlag, p. 400-408 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  76. Published

    PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation

    Germanus, D., Ismail, H. & Suri, N., 28/09/2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS). IEEE, p. 74-83 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  77. Published

    Response to the Call for evidence: “The UK and the Arctic Environment”

    Germond, B. & Suri, N., 25/05/2023

    Research output: Other contribution

  78. Published

    The influence of geopolitics on polar research – Options for HM Government

    Germond, B. & Suri, N., 8/06/2023

    Research output: Exhibits, objects and web-based outputs › Blog

  79. Published

    Assessing the security of internet-connected critical infrastructures

    Ghani, H., Khelil, A., Suri, N., Csertán, G., Gönczy, L., Urbanics, G. & Clarke, J., 1/12/2014, In: Security and Communication Networks. 7, 12, p. 2713-2725 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  80. Published

    Predictive vulnerability scoring in the context of insufficient information availability

    Ghani, H., Luna, J., Khelil, A., Alkadri, N. & Suri, N., 23/10/2013, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  81. Published

    Quantitative assessment of software vulnerabilities based on economic-driven security metrics

    Ghani, H., Luna, J. & Suri, N., 23/10/2013, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  82. Published

    User-centric security assessment of software configurations: A case study

    Ghani, H., Luna Garcia, J., Petkov, I. & Suri, N., 2014, Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Springer-Verlag, Vol. 8364 LNCS. p. 196-212 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  83. Published

    Message from the program chairs

    Gill, C., Suri, N. & Hong, Y-S., 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, 1 p. (Proc. Int. Workshop Object Oriented Real Time Dependable Syst. WORDS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  84. Published

    IEEE Transactions on Dependable an Secure Computing: Editorial

    Gligor, V. D., Meadows, C. & Suri, N., 8/02/2008, In: IEEE Transactions on Dependable and Secure Computing. 5, 1, p. 4-5 2 p.

    Research output: Contribution to Journal/Magazine › Editorial

  85. Published

    Monitoring and evaluation of semantic rooms

    Gönczy, L., Csertán, G., Urbanics, G., Ghani, H., Khelil, A. & Suri, N., 2012, Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware. Springer Berlin / Heidelberg, p. 99-116 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  86. Published

    PCaaD: Towards automated determination and exploitation of industrial systems

    Green, B., Derbyshire, R., Krotofil, M., Knowles, W., Prince, D. & Suri, N., 30/11/2021, In: Computers and Security. 110, 19 p., 102424.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  87. Published

    PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models.

    Hackett, W., Trawicki, S., Yu, Z., Suri, N. & Garraghan, P., 13/09/2022, In: arXiv. abs/2209.06300, 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  88. Published

    Pinch: An Adversarial Extraction Attack Framework for Deep Learning Models

    Hackett, W., Trawicki, S., Yu, Z., Suri, N. & Garraghan, P., 13/09/2022, In: arXiv.

    Research output: Contribution to Journal/Magazine › Journal article

  89. Published

    Security Requirements Engineering in Safety-Critical Railway Signalling Networks.

    Heinrich, M., Vateva-Gurova, T., Arul, T., Katzenbeisser, S., Suri, N., Birkholz, H., Fuchs, A., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Tverdyshev, S. & Schlehuber, C., 14/07/2019, In: Security and Communication Networks. 2019, 14 p., 8348925.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  90. Published

    Model-based development of distributed embedded real-time systems with the DECOS tool-chain

    Herzner, W., Schlick, R., Schlager, M., Leiner, B., Huber, B., Balogh, A., Csertan, G., Leguennec, A., Lesergent, T., Suri, N. & Islam, S., 2007, SAE International, (SAE Techni. Paper.).

    Research output: Working paper › Other

  91. Published

    EPIC: Profiling the propagation and effect of data errors in software

    Hiller, M., Jhumka, A. & Suri, N., 1/05/2004, In: IEEE Transactions on Computers. 53, 5, p. 512-530 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  92. Published

    An approach for analysing the propagation of data errors in software

    Hiller, M., Jhumka, A., Suri, N. & D.C., Y. (ed.), 1/07/2001, 2001 International Conference on Dependable Systems and Networks. IEEE, p. 161-170 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  93. Published

    On the placement of software mechanisms for detection of data errors

    Hiller, M., Jhumka, A. & Suri, N., 23/06/2002, Proceedings International Conference on Dependable Systems and Networks. p. 135-144 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  94. Published

    PROPANE: An environment for examining the propagation of errors in software

    Hiller, M., Jhumka, A., Suri, N. & P.G., F. (ed.), 22/07/2002, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis: ISSTA '02. ACM, p. 81-85 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  95. Published

    Message from the IC2E 2018 General Chairs

    Hua, K. A., Suri, N., J., L. (ed.), A., C. (ed.), T., G. (ed.) & Y., C. (ed.), 17/04/2018, 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. xiii 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  96. Published

    Event pattern discovery on IDS traces of cloud services

    Huang, S-Y., Huang, Y. & Suri, N., 3/12/2014, 2014 IEEE Fourth International Conference on Big Data and Cloud Computing. IEEE, p. 25-32 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  97. Published

    Safety verification utilizing model-based development for safety critical cyber-physical systems

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 15/08/2017, In: Journal of Information Processing Systems. 25, p. 797-810 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  98. Published

    Practical use of formal verification for safety critical cyber-physical systems: A case study

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 25/08/2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, p. 7-12 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  99. Published

    Practical Formal Verification for Model Based Development of Cyber-Physical Systems

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 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, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  100. Published

    An optimization based design for integrated dependable real-time embedded systems

    Islam, S., Suri, N., Balogh, A., Csertán, G. & Pataricza, A., 2009, In: Design Automation for Embedded Systems. 13, 4, p. 245-285 41 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 Next

Back to top