Neeraj Suri - Publications & Outputs - Research Portal

Professor Neeraj Suri

Distinguished Professor in Cyber Security, Distinguished Professor & Chair in Cyber Security

101 - 200 out of 295Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Author last name

Published
Dependability driven integration of mixed criticality SW components
Islam, S., Lindström, R. & Suri, N., 24/04/2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06). IEEE, p. 485-495 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A multi variable optimization approach for the design of integrated dependable real-time embedded systems
Islam, S. & Suri, N., 2007, Embedded and Ubiquitous Computing: International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings. Springer, Vol. 4808 LNCS. p. 517-530 14 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
P2P routing table poisoning: A quorum-based sanitizing approach
Ismail, H., Germanus, D. & Suri, N., 1/03/2017, In: Computers and Security. 65, p. 283-299 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Detecting and mitigating P2P eclipse attacks
Ismail, H., Germanus, D. & Suri, N., 14/12/2015, 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS). IEEE, p. 224-231 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Malicious peers eviction for P2P overlays
Ismail, H., Germanus, D. & Suri, N., 17/10/2016, 2016 IEEE Conference on Communications and Network Security (CNS). IEEE, p. 216-224 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Composite Malicious Peer Eviction Mechanism for Super-P2P Systems
Ismail, H., Roos, S. & Suri, N., 1/08/2018, 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, p. 456-464 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Detection Mechanism for Internal Attacks on Pull-Based P2P Streaming Systems
Ismail, H., Roos, S. & Suri, N., 12/06/2018, 2018 IEEE 19th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, p. 1-7 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An approach to synthesise safe systems
Jhumka, A., Freiling, F., Fetzer, C. & Suri, N., 2006, In: International Journal of Security and Networks. 1, 1-2, p. 62-74 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Assessing inter-modular error propagation in distributed software
Jhumka, A., Hiller, M. & Suri, N., 31/10/2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems. IEEE, p. 152-161 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An approach to specify and test component-based dependable software
Jhumka, A., Hiller, M. & Suri, N., 23/10/2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, p. 211-220 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Component-based synthesis of dependable embedded software
Jhumka, A., Hiller, M. & Suri, N., 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer-Verlag, Vol. 2469. p. 111-128 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On systematic design of globally consistent executable assertions in embedded software
Jhumka, A., Hiller, M., Claesson, V. & Suri, N., 19/06/2002, Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM, p. 75-84 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A framework for the design and validation of efficient fail-safe fault-tolerant programs
Jhumka, A., Suri, N. & Hiller, M., 2003, Software and Compilers for Embedded Systems . Springer-Verlag, Vol. 2826. p. 182-197 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
An approach for designing and assessing detectors for dependable component-based systems
Jhumka, A., Hiller, M. & Suri, N., 25/03/2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. IEEE, Vol. 8. p. 69-78 10 p. (Proc. IEEE Int. Symp. High Assur. Syst. Eng.).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Designing efficient fail-safe multitolerant systems
Jhumka, A. & Suri, N., 2005, Formal Techniques for Networked and Distributed Systems - FORTE 2005 . Springer, Vol. 3731 LNCS. p. 428-422 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Robustness Evaluation of Operating Systems
Johansson, A. & Suri, N., 2008, Information Assurance: The Morgan Kaufmann Series in Networking. Elsevier Inc., p. 349-375 27 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Error propagation profiling of operating systems
Johansson, A. & Suri, N., 28/06/2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). IEEE, p. 86-95 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On enhancing the robustness of commercial operating systems
Johansson, A., Sârbu, A., Jhumka, A. & Suri, N., 2005, Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Springer, p. 148-159 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On the impact of injection triggers for OS robustness evaluation
Johansson, A., Suri, N. & Murphy, B., 5/11/2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07). IEEE, p. 127-136 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the selection of error model(s) for OS robustness evaluation
Johansson, A., Suri, N. & Murphy, B., 25/06/2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07). IEEE, p. 502-511 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Understanding the confounding factors of inter-domain routing modeling
Kastanakis, S., Giotsas, V. & Suri, N., 25/10/2022, IMC 2022 - Proceedings of the 2022 ACM Internet Measurement Conference. New York: ACM, p. 758-759 2 p. (Proceedings of the 22nd ACM Internet Measurement Conference).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Replication: 20 Years of Inferring Interdomain Routing Policies
Kastanakis, S., Giotsas, V., Livadariu, I. & Suri, N., 24/10/2023, p. 16-29. 14 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Delay tolerant monitoring of mobility-assisted WSN
Khelil, A., Shaikh, F. K., Ali, A., Suri, N. & Reinl, C., 2016, Delay Tolerant Networks: Protocols and Applications. Vasilakos, A. V. (ed.). CRC Press, p. 189-221 33 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Wireless Sensor Cooperation for a Sustainable Quality of Information
Khelil, A., Reinl, C., Ayari, B., Shaikh, F. K., Szczytowski, P., Ali, A. & Suri, N., 2011, Pervasive Computing and Networking. John Wiley and Sons, p. 71-100 30 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Map-based design for autonomic wireless sensor networks
Khelil, A., Shaikh, F. K., Szczytowski, P., Ayari, B. & Suri, N., 2009, Autonomic Communication. Tsinghua University Press & Springer-Verlag, p. 309-326 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Gossiping: Adaptive and reliable broadcasting in MANETs
Khelil, A. & Suri, N., 2007, Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings. Springer, Vol. 4746 LNCS. p. 123-141 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
gMAP: Efficient construction of global maps for mobility-assisted wireless sensor networks
Khelil, A., Shaikh, F. K., Ali, A. & Suri, N., 2/02/2009, 2009 Sixth International Conference on Wireless On-Demand Network Systems and Services. IEEE, p. 189-196 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards benchmarking of P2P technologies from a SCADA systems protection perspective
Khelil, A., Jeckel, S., Germanus, D. & Suri, N., 2010, Mobile Lightweight Wireless Systems: Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers. Springer, Vol. 45 LNICST. p. 400-414 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Assessing the comparative effectiveness of map construction protocols in wireless sensor networks
Khelil, A., Chang, H. & Suri, N., 17/11/2011, 30th IEEE International Performance Computing and Communications Conference. IEEE, 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
MWM: A map-based world model for wireless sensor networks
Khelil, A., Shaikh, F. K., Ayari, B. & Suri, N., 23/09/2011, Autonomics: 2nd International ICST Conference on Autonomic Computing and Communication Systems. EUDL, 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Protection of SCADA communication channels: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Khelil, A., Germanus, D. & Suri, N., 2012, Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense. Springer, Vol. 7130. p. 177-196 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
Kim, K. H., Ezhilchelvan, P. D., Kaiser, J., Moser, L. E., Nett, E. & Suri, N., 2004, IEEE Symposium on Reliable Distributed Systems . IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper
Published
Compositional design of RT systems: A conceptual basis for specification of linking interfaces
Kopetz, H. & Suri, N., 16/05/2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE, p. 51-60 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the limits of the precise specification of component interfaces
Kopetz, H. & Suri, N., 1/10/2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, p. 26-27 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An empirical study of injected versus actual interface errors
Lanzaro, A., Natella, R., Winter, S., Cotroneo, D. & Suri, N., 21/07/2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis. ACM, p. 397-408 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Error models for the representative injection of software defects
Lanzaro, A., Natella, R., Winter, S., Cotroneo, D. & Suri, N., 2015, Software-engineering and management. Assmann, U. (ed.). Gesellschaft für Informatik, p. 118-119 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection
Li, Y., Angelov, P. & Suri, N., 2/08/2023, 2023 International Joint Conference on Neural Networks (IJCNN). Gold Coast, Australia: IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Forthcoming
Fuzzy Detectors Against Adversarial Attacks
Li, Y., Angelov, P. & Suri, N., 15/09/2023, (Accepted/In press) IEEE Symposium Series on Computational Intelligence. Mexico, 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Livraga, G. (ed.), Torra, V. (ed.), Aldini, A. (ed.), Martinelli, F. (ed.) & Suri, N. (ed.), 2016, Springer.
Research output: Book/Report/Proceedings › Proceedings
Published
Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph
Lu, Y., Yu, Z. & Suri, N., 1/10/2022, In: arXiv. abs/2210.00325, 26 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph
Lu, Y., Yu, Z. & Suri, N., 31/08/2023, In: ACM Transactions on Privacy and Security. 26, 3, p. 1-39 39 p., 33.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Quantitative Reasoning about Cloud Security Using Service Level Agreements
Luna, J., Taha, A., Trapero, R. & Suri, N., 1/07/2017, In: IEEE Transactions on Cloud Computing. 5, 3, p. 457-471 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Leveraging the Potential of Cloud Security Service-Level Agreements through Standards
Luna, J., Suri, N., Iorga, M. & Karmel, A., 1/05/2015, In: IEEE Cloud Computing. 2, 3, p. 32-40 9 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A security metrics framework for the Cloud
Luna, J., Ghani, H., Germanus, D. & Suri, N., 18/07/2011, Proceedings of the International Conference on Security and Cryptography 2011. IEEE, p. 245-250 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Benchmarking cloud security level agreements using quantitative policy trees
Luna, J., Langenberg, R. & Suri, N., 19/10/2012, Proceedings of the 2012 ACM Workshop on Cloud computing security workshop. ACM, p. 103-112 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Privacy-by-design based on quantitative threat modeling
Luna, J., Suri, N. & Krontiris, I., 10/10/2012, 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quantitative assessment of Cloud Security Level Agreements: A case study
Luna, J., Ghani, H., Vateva, T. & Suri, N., 2012, Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, 2012, Rome, Italy. SciTePress, p. 64-73 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Negotiating and brokering Cloud resources based on Security Level Agreements
Luna, J., Vateva-Gurova, T., Suri, N., Rak, M. & Liccardo, L., 2013, Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1. SciTePress, p. 533-541 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SecLA-based negotiation and brokering of cloud resources
Luna, J., Vateva-Gurova, T., Suri, N., Rak, M. & De Benedictis, A., 2014, Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Springer-Verlag, Vol. 453. p. 1-18 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Compressive sensing for wireless sensor networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 2012, Intelligent Sensor Networks: The Integration of Sensor Networks, Signal Processing and Machine Learning. CRC Press, p. 379-396 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Reordering for better compressibility: Efficient spatial sampling in Wireless Sensor Networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 7/06/2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. IEEE, p. 50-57 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Balanced spatio-temporal compressive sensing for multi-hop wireless sensor networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 8/10/2012, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012). IEEE, p. 389-397 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Agile sink selection in wireless sensor networks
Mahmudimanesh, M. & Suri, N., 30/06/2014, 2014 Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking (SECON). IEEE, p. 390-398 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Efficient agile sink selection in wireless sensor networks based on compressed sensing
Mahmudimanesh, M., Naseri, A. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 193-200 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Robust compressive data gathering in wireless sensor networks with linear topology
Mahmudimanesh, M. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 179-186 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Abortable fork-linearizable storage
Majuntke, M., Dobre, D., Serafini, M. & Suri, N., 2009, Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, Vol. 5923 LNCS. p. 255-269 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Fork-consistent constructions from registers
Majuntke, M., Dobre, D., Cachin, C. & Suri, N., 2011, Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Vol. 7109 LNCS. p. 283-298 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
General and program chairs' message
Malek, M. & Suri, N., 2005, Service Availability: Second International Service Availability Symposium, ISAS 2005. Springer-Verlag, Vol. 3694 LNCS. p. V-VI 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript
Published
Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
Malek, M. (ed.), Nett, E. (ed.) & Suri, N. (ed.), 2005, Springer.
Research output: Book/Report/Proceedings › Proceedings
Published
Threat Modeling the Cloud: An Ontology Based Approach
Manzoor, S., Vateva-Gurova, T., Trapero, R. & Suri, N., 30/01/2019, IOSec 2018: Information and Operational Technology Security Systems . Fournaris, A., Lampropoulos, K. & Marin Tordera, E. (eds.). Cham: Springer-Verlag, p. 61-72 12 p. (Lecture Notes in Computer Science; vol. 11398).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Trust validation of cloud IaaS: A customer-centric approach
Manzoor, S., Taha, A. & Suri, N., 23/08/2016, 2016 IEEE Trustcom/BigDataSE/ISPA. IEEE, p. 97-104 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
AttackDive: Diving Deep into the Cloud Ecosystem to Explore Attack Surfaces
Manzoor, S., Luna, J., Suri, N., X., L. (ed.) & U., B. (ed.), 25/06/2017, 2017 IEEE International Conference on Services Computing (SCC). IEEE, p. 499-502 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Threat modeling and analysis for the cloud ecosystem
Manzoor, S., Zhang, H., Suri, N., J., L., A., C., T., G. & Y., C., 17/04/2018, 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 278-281 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Poster: Multi-Layer Threat Analysis of the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/11/2022, p. 3419-3421. 3 p.
Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review
Published
Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/11/2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Yin, H. & Stavrou, A. (eds.). New York: ACM, p. 3415-3417 3 p. (Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
ThreatPro: Multi-Layer Threat Analysis in the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 29/09/2022, In: arXiv. abs/2209.14795, 32 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Forthcoming
Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/02/2024, (Accepted/In press) In: IEEE Transactions on Cloud Computing.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Roll-forward recovery: the bidirectional cache approach
Mendelson, A., Suri, N. & Zimmerman, O., 12/06/1996, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. IEEE, p. 59-68 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Cache based fault recovery for distributed systems
Mendelson, A. & Suri, N., 8/09/1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems. IEEE, p. 119-129 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Designing high-performance & reliable superscalar architectures the out of order reliable superscalar (O3RS) approach
Mendelson, A. & Suri, N., 25/06/2000, Proceeding International Conference on Dependable Systems and Networks. IEEE, p. 473-481 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Efficient verification of program fragments: Eager POR
Metzler, P., Saissi, H., Bokor, P., Hess, R., Suri, N., Artho, C. (ed.), Peled, D. (ed.) & Legay, A. (ed.), 22/09/2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Springer-Verlag, Vol. 9938 LNCS. p. 375-391 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quick verification of concurrent programs by iteratively relaxed scheduling
Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (ed.), G., R. (ed.) & M., D. P. (ed.), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Metzler, P., Suri, N. & Weissenbacher, G., 2/10/2019, Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer, p. 153-171 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Metzler, P., Suri, N. & Weissenbacher, G., 31/10/2020, In: International Journal on Software Tools for Technology Transfer. 22, p. 565-581 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Technical implementation and feasibility
Mikkelsen, G. L., Damgård, K., Guldager, H., Jensen, J. L., Luna, J. G., Nielsen, J. D., Paillier, P., Pellegrino, G., Stausholm, M. B., Suri, N. & Zhang, H., 2015, Attribute-Based Credentials for Trust: Identity in the Information Society. Springer International Publishing, p. 255-318 64 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Novel efficient techniques for real-time cloud security assessment
Modic, J., Trapero, R., Taha, A., Luna, J., Stopar, M. & Suri, N., 1/09/2016, In: Computers and Security. 62, p. 1-18 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Brief announcement: MP-state: State-aware software model checking of message-passing systems
Muftuoglu, C. A., Bokor, P. & Suri, N., 2012, Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Vol. 7596 LNCS. p. 183-186 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Analyzing the Effects of Bugs on Software Interfaces
Natella, R., Winter, S., Cotroneo, D. & Suri, N., 1/03/2020, In: IEEE Transactions on Software Engineering. 46, 3, p. 280-301 23 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services
Pellegrino, G., Balzarotti, D., Winter, S. & Suri, N., 2015. 16 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Instrumenting AUTOSAR for dependability assessment: A guidance framework
Piper, T., Winter, S., Manns, P. & Suri, N., 25/06/2012, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mitigating timing error propagation in mixed-criticality automotive systems
Piper, T., Winter, S., Schwahn, O., Bidarahalli, S. & Suri, N., 13/04/2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. IEEE, p. 102-109 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms
Piper, T., Winter, S., Suri, N. & Fuhrman, T. E., 7/09/2015, 2015 11th European Dependable Computing Conference (EDCC). IEEE, p. 85-96 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On choosing server-or client-side solutions for BFT
Platania, M., Obenshain, D., Tantillo, T., Amir, Y. & Suri, N., 1/05/2016, In: ACM Computing Surveys. 48, 4, 30 p., 61.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Security issues in cloud federations
Rak, M., Ghani, H., Ficco, M., Suri, N., Luna, J., Panica, S. & Petcu, D., 2012, Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice. IGI Global, p. 176-194 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Security as a service using an SLA-based approach via SPECS
Rak, M., Suri, N., Luna, J., Petcu, D., Casola, V. & Villano, U., 2/12/2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science. IEEE, p. 1-6 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quality of information in wireless sensor networks: A survey
Sachidananda, V., Khelil, A. & Suri, N., 2010.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Information quality aware co-design of sampling and transport in wireless sensor networks
Sachidananda, V., Khelil, A., Noack, D. & Suri, N., 23/04/2013, 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Sampling and transport co-design in Wireless Sensor Networks
Sachidananda, V., Khelil, A., Noack, D. & Suri, N., 18/03/2013, 2013 10th Annual Conference on Wireless On-demand Network Systems and Services (WONS). IEEE, p. 98-100 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Trading transport timeliness and reliability for efficiency in wireless sensor networks
Sachidananda, V., Khelil, A., Umap, D., Majuntke, M. & Suri, N., 10/04/2013, 2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC). I. B. Tauris, p. 720-727 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Efficient verification of distributed protocols using stateful model checking
Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
PBMC: Symbolic slicing for the verification of concurrent programs
Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis
Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.
Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 25/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 52-63 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Dependable and cost-effective architecture for X-by-wire systems with membership middleware
Sakurai, K., Matsubara, M., Serafini, M. & Suri, N., 2008, p. 160-169. 10 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications
Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Profiling the operational behavior of OS device drivers
Sârbu, C., Johansson, A., Suri, N. & Nagappan, N., 1/08/2010, In: Empirical Software Engineering. 15, 4, p. 380-422 43 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Improving robustness testing of COTS OS extensions
Sârbu, C., Johansson, A., Fraikin, F. & Suri, N., 2006, Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers. Springer-Verlag, Vol. 4328 LNCS. p. 120-139 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Execution path profiling for OS device drivers: Viability and methodology
Sârbu, C., Johansson, A. & Suri, N., 2008, Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings. Vol. 5017 LNCS. p. 90-109 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On equivalence partitioning of code paths inside OS kernel components
Sârbu, C., Nagappan, N. & Suri, N., 17/03/2009, 2009 Software Technologies for Future Dependable Distributed Systems. IEEE, p. 17-19 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Named Data Networking: A survey
Saxena, D., Raychoudhury, V., Suri, N., Becker, C. & Cao, J., 28/02/2016, In: Computer Science Review. 19, p. 15-55 41 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 Next

Research

Professor Neeraj Suri

Quick Links

Connect With Us