Secure and Liable Computer Systems

Research output

Research output per year 2000 2006 2007 2010 2011 2013 2025

• 114 Conference contribution
• 38 Article
• 7 PhD-Thesis - Research and graduation internal
• 5 Book
• 3 More
  • 1 Chapter
  • 1 PhD-Thesis – Research external, graduation internal
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2025

  On the effects of program slicing for vulnerability detection during code inspection

  Papotti, A., Tuma, K. & Massacci, F., May 2025, In: Empirical Software Engineering. 30, 3, p. 1-37 37 p., 93.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Security Misconfiguration 100%
  • Cross-Site Scripting 100%
  • Open Web Application Security Project 100%

• Assessing the usefulness of Data Flow Diagrams for validating security threats

  Mbaka, W. B., Zhang, X., Wang, Y., Li, T., Massacci, F. & Tuma, K., Sept 2025, In: Computers and Security. 156, p. 1-16 16 p., 104498.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Sequence Diagram 100%
• 2024

  On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools

  Papotti, A., Paramitha, R. & Massacci, F., Sept 2024, In: Empirical Software Engineering. 29, 5, p. 1-35 35 p., 132.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Specialized Tool 100%
  • Computer Science 50%
  • Academic Setting 50%
  • Information Security 50%
  • Balanced Design 50%

• Addressing combinatorial experiments and scarcity of subjects by provably orthogonal and crossover experimental designs

  Massacci, F., Papotti, A. & Paramitha, R., May 2024, In: Journal of Systems and Software. 211, p. 1-18 18 p., 111990.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Security Engineering 100%
  • Crossover Design 100%
  • Learning Effect 50%
  • Software Configuration 50%
  • Alternative Design 50%

• Known Vulnerabilities of Open Source Projects: Where Are the Fixes?

  Sabetta, A., Ponta, S. E., Cabrera Lozoya, R., Bezzi, M., Sacchetti, T., Greco, M., Balogh, G., Hegedus, P., Ferenc, R., Paramitha, R., Pashchenko, I., Papotti, A., Milankovich, A. & Massacci, F., Apr 2024, In: IEEE Security and Privacy. 22, 2, p. 49-59 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Open Source Project 100%
  • Open Source Tool 100%

• On the Measures of Success in Replication of Controlled Experiments with STRIDE

  Mbaka, W. & Tuma, K., Apr 2024, In: International Journal of Software Engineering and Knowledge Engineering. 34, 4, p. 623-650 28 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Threat Analysis 100%
  • Performance Indicator 100%
  • Cost Saving 33%
  • Software Deployment 33%
  • Analysis Technique 33%

• Role of Gender in the Evaluation of Security Decisions

  Mbaka, W. & Tuma, K., Apr 2024, In: IEEE Security and Privacy. 22, 2, p. 38-48 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Cybersecurity 100%
  • Demographic Characteristic 50%

• Systematic review on contract-based safety assurance and guidance for future research

  Kanwal, S., Muram, F. U. & Javed, M. A., Jan 2024, In: Journal of Systems Architecture. 146, p. 1-18 18 p., 103036.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Development Stage 100%
  • Safety Critical Systems 100%
  • Development Process 100%
  • Search Strategies 100%
  • Analysis Technique 100%
• 2023

  Towards Unveiling Effects Of Human Factors Within Security Risk Assessment

  Mbaka, W., Jan 2023, In: ACM SIGSOFT Software Engineering Notes. 48, 1, p. 70-75 6 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Security Risk Assessment 100%
  • Ergonomics 100%
  • Design Technique 100%
  • Research Question 33%
  • Human Participant 33%
  2 Downloads (Pure)
• 2016

  Finding fault with fault injection: An Empirical Exploration of Distortion in Fault Injection Experiments

  van der Kouwe, E., Giuffrida, C. & Tanenbaum, A. S., Mar 2016, In: Software Quality Journal (SQJ).

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Fault Injection Experiment 100%
  • Fault Injection 100%
  • Fault Model 100%
  • Executed Program 33%
  • Experimental Result 33%
• 2014

  Techniques for efficient in-memory checkpointing

  Vogt, D., Giuffrida, C., Bos, H. & Tanenbaum, A. S., 15 May 2014, In: Operating Systems Review (ACM). 48, 1-118, p. 21-25 5 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Checkpointing 100%
  • Production System 20%
  • Virtual Address Space 20%
  • Art Performance 20%
  • Research System 20%
• 2012

  Generating synchronization statements in divide-and-conquer programs

  Hijma, H. P., van Nieuwpoort, R. V., Jacobs, C. J. H. & Bal, H. E., 2012, In: Parallel computing. 38, 1-2, p. 75-89

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Parallelism 100%
  • Efficient Execution 100%
  • Programming Model 50%
  • World Application 50%
  • Multicore 50%

• Unprivileged Black-Box Detection of User-space Keyloggers

  Ortolani, S., Giuffrida, C. & Crispo, B., 2012, In: IEEE Transactions on Dependable and Secure Computing. p. 40-52

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Malware 100%
  • Invasive Software 20%
  • Running Program 20%
  • Evasion Technique 20%
  • Running Process 20%
• 2011

  A Heuristic Approach to Author Name Disambiguation in Bibliometrics Databases for Large-scale Research Assessments

  D'Angelo, C. A., Giuffrida, C. & Abramo, G., 2011, In: Journal of the American Society for Information Science and Technology. 62, 2

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Large-Scale Research 100%
  • Bibliology 100%
  • Research Assessment 100%
  • Disambiguation 100%
  • Proposed Application 33%

• Routers for the Cloud, Can the Internet Achieve 5-Nines Availability?

  Agapi, A., Birman, K., Broberg, R. M., Cotton, C., Kielmann, T., Millnert, M., Payne, R., Surton, R. & van Renesse, R., 2011, In: IEEE Internet Computing. 15, 5, p. 72-77

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Internet 100%
  • Routers 100%
  • Service 50%
  • Internet Today 50%
• 2010

  MINIX 3: Status Report and Current Research

  Tanenbaum, A. S., Appuswamy, R., Bos, H. J., Cavallaro, L., Giuffrida, C., Hruby, T., Herder, J. N., van der Kouwe, E. & van Moolenbroek, D. C., 2010, In: Login: The Magazin of the USENIX Association.

  Research output: Contribution to Journal › Article › Academic
• 2009

  Constructing Secure Mobile Agent Systems Using the Agent Operating System

  van t Noordende, G. J., Overeinder, B. J., Timmer, R. J., Brazier, F. M. & Tanenbaum, A. S., 2009, In: International Journal of Intelligent Information and Database Systems. 3, p. 363-381 19 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Operating Systems 100%
  • Mobile Agents 100%
  • Performance Measure 8%
  • Interoperability 8%
  • Building-Blocks 8%

• Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservation,

  Mancina, A., Herder, J. N., Gras, B. J., Tanenbaum, A. S. & Lipari, G., 2009, In: Real-time Systems. 43, p. 177-210 34 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Resource Reservation 100%
  • Operating Systems 100%
  • Core Component 25%
  • Protection Mechanism 25%
  • Message Passing 25%

• Trustworthy Voting: From Machine to System

  Paul, N. & Tanenbaum, A. S., 2009, In: Computer. 42, p. 23-29 7 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Open Source Software 100%
• 2008

  Turning Teenagers into Stores

  Krishnan Nair, S., Gerrits, R., Crispo, B. & Tanenbaum, A. S., 2008, In: Computer. 41, p. 58-62 5 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Content Provider 100%
  • digital right management 33%
• 2007

  Design and Implementation of a Secure Wide-Area Object Middleware

  Popescu, B. C., Crispo, B., Tanenbaum, A. S. & Bakker, A., 11 Jul 2007, In: Computer Networks (1999). 51, 10, p. 2484-2513 30 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Authentication Mechanism 100%
  • Distributed Object 100%
  • Operational Model 100%
  • Computational Grid 100%
  • Content Delivery Network 100%

• Roadmap to a Failure-Resilient Operating System

  Herder, J. N., Bos, H. J., Gras, B. J., Homburg, P. C. & Tanenbaum, A. S., 2007, In: Login: The Magazin of the USENIX Association. 32, 1, p. 14-20

  Research output: Contribution to Journal › Article › Academic › peer-review
• 2006

  RFID Malware: Design Principles and Examples

  Rieback, M. R., Simpson, P. N. D., Crispo, B. & Tanenbaum, A. S., Nov 2006, In: Pervasive and Mobile Computing. 2, 4, p. 405-426 22 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Radio Frequency Identification 100%
  • Malware 100%
  • Target Platform 10%

• Taking Sensor Networks from the Lab to the Jungle

  Tanenbaum, A. S., Gamage, C. D. & Crispo, B., Aug 2006, In: Computer. 39, 8, p. 98-100

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Sensor Network 100%
  • Forest Fire Detection 100%
  • Fire Detection 25%
  • Application of Sensors 25%

• RFID Malware: Truth vs. Myth

  Rieback, M. R., Crispo, B. & Tanenbaum, A. S., Jul 2006, In: IEEE Security & Privacy. 4, 4, p. 70-72 3 p., 1668007.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Malware 100%
  • Buffer Overflow 50%
  • Back End 50%
  • Structured Query Language 50%
  • Security and Privacy 50%

• The Evolution of RFID Security

  Rieback, M. R., Crispo, B. & Tanenbaum, A. S., Jan 2006, In: IEEE Pervasive Computing. 5, 1, p. 62-69 8 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Counterfeiting 100%
  • Nationality 100%
  • Supply Chain 100%
  • Smart Home 100%
  • Home Appliance 50%

• A Wide-Area Distribution Network for Free Software

  Bakker, A., van Steen, M. R. & Tanenbaum, A. S., 2006, In: ACM Transactions on Internet Technology. 6, 3

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Free Software 100%
  • Distribution Network 100%
  • Distributed Object 16%
  • Fault Tolerant 16%
  • High Availability 16%

• Can We Make Operating Systems Reliable and Secure?

  Tanenbaum, A. S., Herder, J. N. & Bos, H. J., 2006, In: Computer. 39, 4, p. 44-51

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Operating Systems 100%
  • Lower Performance 50%
  • High Reliability 50%

• File Size Distribution on UNIX Systems - Then and Now

  Tanenbaum, A. S., Herder, J. N. & Bos, H. J., 2006, In: ACM SIGOPS Operating Systems Review. 40, 1, p. 100-108

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Computer Science 100%
  • File System Design 100%
  • Storage Requirement 100%
  • File Size 100%
  • Block Size 33%

• Minix 3: A Highly Reliable, Self-Repairing Operating System

  Herder, J. N., Bos, H. J., Gras, B. J., Homburg, P. C. & Tanenbaum, A. S., 2006, In: ACM SIGOPS Operating Systems Review. 40, 3, p. 80-89

  Research output: Contribution to Journal › Article › Academic › peer-review

• Modular system programming in Minix 3

  Herder, J. N., Bos, H. J., Gras, B. J., Homburg, P. C. & Tanenbaum, A. S., 2006, In: Login: The Magazin of the USENIX Association. 31, 2, p. 19-28

  Research output: Contribution to Journal › Article › Academic › peer-review
• 2005

  Counting Abuses Using Flexible Off-line Credentials

  Bicakci, K., Crispo, B. & Tanenbaum, A. S., 2005, In: Lecture Notes in Computer Science. 3574, p. 548-559 12 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Wired Network 100%
  • Existing Protocol 100%
  • Network Scenario 100%
  • ad-hoc network 100%

• RFID Guardian: A Battery-powered Mobile Device for RFID Privacy Management

  Rieback, M. R., Crispo, B. & Tanenbaum, A. S., 2005, In: Lecture Notes in Computer Science. 3574, p. 184-194 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Cell Phone 100%
  • Security and Privacy 100%
  • Medical Information 100%
  • Personal Digital Assistant 100%
  • Washing Machine 100%
• 2004

  Symmetric Key Authentication Services Revisited

  Crispo, B., Popescu, B. C. & Tanenbaum, A. S., 2004, In: Lecture Notes in Computer Science. 3108, p. 248-261 14 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Denial of Service Attack 100%
  • Client Server 49%
  • Distributed Computing 49%
  • Local Area Network 49%
  • Authentication 49%
• 2002

  Dynamically Selecting Optimal Distribution Strategies for Web Documents

  Pierre, G. E. O., van Steen, M. R. & Tanenbaum, A. S., 2002, In: IEEE Transactions on Computers. 51, 6, p. 637-651

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Optimal Distribution 100%
  • Optimal Strategy 100%
  • Site Replication 50%
  • Common Practice 50%
  • Optimal Assignment 50%
  187 Downloads (Pure)

• The Globe Infrastructure Directory Service

  Kuz, I., van Steen, M. R. & Sips, H. J., 2002, In: Computer Communications. 25, 9, p. 835-845

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Directory Service 100%
  • Resource Management System 100%
  • Network Element 100%
  • Internet Technology 50%
  • Manage Information 50%
• 2001

  Encapsulating Distribution by Remote Objects

  Jansen, M., Klaver, E., Verkaik, P., van Steen, M. R. & Tanenbaum, A. S., 1 May 2001, In: Information and Software Technology. 43, 6, p. 353-363 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Distributed Object 100%
  • Middleware Solution 100%
  • Office Environment 100%
  • Wide Area Network 100%
  • Application Area 100%
• 2000

  The distributed ASCI supercomputer project

  Bal, H. E., Bhoedjang, R. A. F., Hofman, R., Jacobs, C. J. H., Kielmann, T., Maassen, J., van Nieuwpoort, R. V., Romein, J. W., Renambot, L. P. M., Ruhl, T., Veldema, R. S., Verstoep, M., Baggio, A. G., Ballintijn, G. C., Kuz, I., Pierce, G., van Steen, M. R., Tanenbaum, A. S., Doornbos, G. & Germans, D. M. & 31 others, Spoelder, H. J. W., Baerends, E. J., van Gisbergen, S. J. A., Afsermanesh, H., van Albada, D., Belloum, A., Dubbeldam, J. L. A., Hendrikse, Z., Hertzberger, B., Hoekstra, A. F. T., Iskra, K., Kandhai, D., Koelma, D., van der Linden, F., Overeinder, B., Sloot, P., Spinnato, P., Epema, D., van Gemund, A., Jonker, P., Radulescu, A., van Reeuwijk, C., Sips, H. J., Knijnenburg, P., Lew, M., Sluiter, F., Wijshof, H., Wolters, L., Blom, H., Laat, C. & van der Steen, A., 2000, In: ACM SIGOPS Operating Systems Review. 34, p. 76-96

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File
  418 Downloads (Pure)