Projects
Mathematical Aspects of Secure Computation KU Leuven
The candidate will investigate the more mathematical and algebraic aspects of various secure computation technologies (FHE, MPC, ZK etc). The idea being to find novel new methods to improve performance and extend the range of applications. The work will involve theoretical investigation as well as experimental validation.
Determination of subunit composition and architecture of supramolecular and biological complexes using mass spectrometry coupled with ion mobility spectroscopy and allied techniques. University of Antwerp
Species performance in peat-accumulating ecosystems under changing conditions. University of Antwerp
INtelligente PROducten met VOorspelbare Levensduur Sirris, the collective centre for the technological industry
Algemeen doel
De productevolutie in zowat alle toepassingen wordt gekenmerkt en sterk gedreven door een toenemende intelligentie van de producten op vlak van gegevensverzameling en verwerking en op vlak van werking en communicatie. Elektronica als intelligentiedrager is een essentieel onderdeel geworden van elke nieuwe productontwikkeling in de maakindustrie en speelt een steeds belangrijkere rol in andere sectoren.
De ...
Analyzing and Improving Proof-of-Work Consensus Protocols KU Leuven
The last decade witnessed the rise of permissionless blockchains. Requiring no prior knowledge of the participants' identities, these decentralized systems are advocated as a promising solution to many real-world problems. Unfortunately, the security of deployed permissionless blockchains is inferior to their permissioned peers, where the participants' identities are public and verified. Neither is their performance comparable with ...