• Graduated Ph.D. Students:
  Nan Li, Improvements in High-Coverage and Low-Power LBIST (2015)
  Shohreh Shariff Mansouri, Design and Implementation of Efficient and Secure Lightweight Cryptosystems (2014)
  Petra Färm, Integrated Logic Synthesis Using Simulated Annealing (2007)
  Andrés Martinelli, Advances in Functional Decomposition: Theory and Applications (2006)
  

• Graduated Lic. Students:
  Ming Liu, Bio-Inspired Fault Tolerance, (2016)
  Tomas Bengtsson, Boolean Decomposition in Combinational Logic Synthesis (2003)
  Jimson Mathew, Design and Evaluation of Fault-Tolerant VLSI Architectures (2004)
  Petra Färm, Advanced Algorithms for Logic Synthesis (2004)
  Rene Krenz, Graph Dominators in Logic Synthesis and Verification (2004)
  Andrés Martinelli, Advanced Algorithms for Boolean Decomposition (2004)
  Maxim Teslenko, Decomposition Algorithms for Efficient Logic Synthesis (2004)
  

• Graduated Master Students (2003-present):
  Francesca Palombini, Object Escurity in the Internet of Things (2015)
  Dimitrios Bardis, HW Fault Coverage Analysis (2014)
  Saad Fakher, Verification of Fault Management System of Digital Unit (2014)
  Hamed Rafi, State Assignment Strategies for Binary Machines (2011)
  Julia Kuznetsova, Analysis and Evaluation of Sequential Redundancy Identification Algorithms (2011)
  Majid Hantoosh, A Boolean Cube to VHDL converter and its application to parallel CRC generation (2011)
  Nan Li, And-Inverter Graph Rewriting Using 5-input Cuts (2011)
  Richard Le Roy, Hardware Analysis on a Multimedia Platform (2011)
  Muhammad Usman Khalid, FPGA-based Spike Sorting for High Density Micro Electrode Array Chip (2010)
  Shafqat Ullah, Algorithm for Non-Linear Feedback Shift Registers Delay Minimization (2010)
  Waqas Zafar, Implementation of State of the Art Fault Tolerant Bus Interfaces in FPGAs (2010)
  Cyril Excoffon, Self-Test Methods and Design of Secure Circuits. Case Study: AES Encryption Device (2008)
  Vasilios Lirigis, Evaluation and Comparison of Threshold Logic Gates (2007)
  Adela Kriland, Evaluation and Comparison of Look Up Table FPGA Technology Mapping Algorithms (2007)
  Marc Hebral, Dynamic Storage Allocation and File Systems of Smartcards (2007)
  Chen Fu, System Level Memory Optimization by Global Loop Transformation (2006)
  Fredrik Lindberg, A BDD Approach to Computing Attractors in Random Boolean Networks (2005)
  Xavier Lowagie, Computing Ideal Input Vectors for Probabilistic Verification (2004)
  Kanellou Eleni, IP Instantiation and Validation for Aerospatial SOC Applications (2004)
  Pavel Ivanov, BDD-based Algorithm for Computing Fixed-polarity Reed-Muller Canonical Forms (2004)
  Joseph Thomas, ASIC Implementation of a Fault-Tolerant Processor Core (2004)
  Ignacio Ruiz, Transformation from BDD to Circuit Representation (2004)
  Martin Simlastik, Automatic Creation of Test Simulation Models (2004)
  Ali Veneli, FSM Coverage Metrics in the Functional Verification of Graphics Processors (2003)
  Maxim Teslenko, Boolean Factorization (2003)
  Abid-Uveys Danis, A Probabilistic Power Estimation Method for CMOS Circuits at Gate Level (2003)
  Mohammad Zalfany Urifianto, Automatic Generation of Breakpoint Modules for Silicon Debug on System Chips (2003)
  

• Graduated Bachelor Students (2003-present):
  Oskar Rosén, Encrypted Chat Client (2015)