I'm happy to supervise any students wishing to graduate in the area of privacy, identity management, applied cryptography. I maintain a separate
page with student guides.
Recently finished assignments
- "Analyzing the Tahoe-LAFS filesystem for privacy friendly replication and file sharing", Luuk de Bruin, [feb 2019 - aug 2019]
- "Receiver anonymity within a distributed file sharing protocol", Solo Schekermans, [feb 2019 - aug 2019]
- "Identifying guard nodes of Tor hidden services", Maarten Dorrestijn (Bac), [dec 2018 - may 2019]
- "Blockchain for post-trade settlement, clearing and custody of financial instruments", Sven Arissen, [aug 2018 - aug 2019]
A popular option is to perform the graduation project as an intern at a company. For example:
to discuss a suitable project. External projects
are certainly a possibility. The following list of project summaries give you an idea of the kind of assignments that are currently open.
- Threshold private set intersection
- Secure multi-party computation (MPC) enables a set of parties to jointly run a protocol that computes some function f on their private inputs, while preserving a number of security properties. Two of the most important properties are privacy and correctness. A specific variant of multiparty computation is the set intersection problem, which is a fundamental problem in secure MPC and has been a hot-topic in the past years.
Private set intersection is a secure way of computing the intersection of sets of two or multiple parties. Namely, in a two-party case, two parties hold two private data sets X1 and X2, and the protocol outputs the intersection of the two sets X1 ∩ X2 and no extra information about the inputs of the parties. In the multi-party case, the secure intersection will be computed among the private data sets of n parties each of which holds Xi’s, that is, X1 ∩ · · · ∩ Xn. On top of this, threshold private set intersection becomes an object of interest recently. Basically, they compute the threshold intersection which outputs the result if the cardinality of intersection is over some threshold in the two-party case. While in the multi-party case, if an element appears in the different private data set above a number of times (threshold), it is outputted in the intersection. However, until recently, threshold two-party and multiparty PSI have not been well-studied yet.
Wwe are looking for a master student who is going to design new secure private set intersection protocols and make their software implementation for his master thesis. Students who like cryptographic protocols and applied cryptography courses come to talk to Asli Bay (email@example.com) about details of the project.
- Real applications of blockchain technology
- Compile a list of real life applications of blockchain technology (i.e. those that are beyond the proof-of-concept stage and are really tried or applied in practical situations. Investigate which blockchain technnoloogy they use, and how exactly. Analyse them to determine their key security, privacy and performance properties.
- UbiKiMa is a ubiquitous key management app for Android. It is a password manager for existing websites, but also allows public key based authentication on websites that support it. The app is still a rough prototype, that could be polished considerably. Also the underlying protocols could do with an analysis and probably some improvements. I am looking for a student that can do all of this...
- Privacy Coach
- Think of ways how you can use a mobile device to protect your privacy...
- Strengthening the binding between people and their on-line credentials.
- Within the IRMA project, we are developing a platform for attribute based credentials, where the credentials are stored on a smart card. Credentials are personal, and it should be impossible to use the credential of someone else (your older brother for instance) to buy age restricted material on line. Currently, we use PIN codes to prevent this. But this is weak if your brother is happy to share his PIN with you. Goal of this project is to study ways to bind credentials to individuals, and to think of new ways to make this binding stronger.
I teach the following courses
Both courses are part of the
TRU/e security master.
I, and other people in our group, sometimes teach a
cryptography and security lab
for high-school students.
The following assignments were finished under my supervision.
- Nina Boelsums (TU/e Industrial Design), [feb 2018 - dec 2018]
- Decentralized attribute-based encryption for DECODE, Marloes Venema, [feb-aug 2018]. (thesis).
- Long term data storage using peer-to-peer technology, Paulus Meessen [feb-aug 2017]
- An Analysis of the security & privacy qualities of a proposal for the Dutch eID scheme, Jorrit de Boer, [feb 2015 - oct 2016]
- Technology and the right to be forgotten, Mark Vijfvinkel [sep 2014-feb 2015]
- Exchanging threat information
between semi - honest parties, Anton Jongsma [sep 2014-feb 2015]
- Technical aspects of a right to be forgotten, Stan Philisen [feb 2014-jul 2014].
- Active website fingerprinting in Tor, Max Hovens [feb 2014 - aug 2014]
- Attribute Based Encryption using Attribute Based Credentials, Tim v.d. Kamp [feb 2014 - aug 2014]. (thesis)
- Delegation in Attribute Based Credentials, Manu Drijvers [feb 2014 - jul 2014].
- Cookiewalls. Een probleem met een technische oplossing?, Koen van Ingen, [mar 2013 - jul 2013]. (thesis)
- Effective Host-based Intrusion Detection for Systems with Real-Time Constraints, Pol van Aubel, at TENNET Arnhem, [mar 2013 - sept 2013].
- Providing unlinkability of transactions with a single token in U-Prove, Erik Weitenberg (RuG), at TNO Groningen [sept 2011 - may 2012].
- Self-blindable credentials with revocation, Wouter Luuks (RuG), at TNO Groningen [aug 2010 - apr 2011].
- Hacking the Mifare Classic, Gerhard de Koning Gans, [feb 2007 - jun 2008].
- Smartcard-integratie in het pseudoniemsysteem idemix,
Luuk Danes, at TNO
Groningen, [dec 2006 - jul 2007].
- Privacy policies voor software, Leon Krol, [feb 2006 - aug 2006].
End-To-End Application Security Using Trusted Computing
by Michiel Broekman at Oxford University Computing Laboratory
[Jan 2005 - Aug 2005].
- Security of Web Services by
Robert-Jan Boezeman at Oxford University Computing Laboratory [Jan 2003 - Aug
Winner of the
Thesis Award 2003
- UMTS Mobile Financial Services Security
by Yan Yijun at ABN AMRO.
- JAVA Cards as Secure Object Store
by Richard Brinkman.
- SPAM Filter Analysis
by Jeroen van Nieuwenhuizen.
- Implementing Multi Level Security using a plublic key infrastructure
by Edward Stempel at Philips Crypto.
- OCCAMM Security Assessment
by Paul Alexander at KPN Research.