108 zoekresultaten voor “secure multi-party computation” in de Publieke website
-
Algebraic techniques for low communication secure protocols
Promotor: R. Cramer
-
Unconditionally secure cryptographic protocols from coding-theoretic primitives
This dissertation presents new cryptographic protocols, which can be divided into two families.
-
Post-doctoral researcher, Secure AI Systems
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
PhD candidate in Secure Software Development
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Explicit computations with modular Galois representations
Promotor: S.J. Edixhoven
-
On the computation of norm residue symbols
An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.
-
Quantum computation with Majorana zero modes in superconducting circuits
Promotor: Prof.dr. C.W.J. Beenakker
-
ECOLE: Experience-based COmputation: Learning to optimisE
Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) gaan een opleidingsprogramma ontwikkelen voor de volgende generatie van beginnende onderzoekers (ESR's). Gedurende een vierjarig project zullen zij worden opgeleid om industriële uitdagingen op een holistische manier te benaderen…
-
Explicit Computation of the Height of a Gross-Schoen Cycle
Arithmetic geometry concerns the number-theoretic properties of geometric objects defined by polynomials. Mathematicians are interested in the rational solutions to these geometric objects.
-
Cryptograaf Ronald Cramer ontvangt ERC Advanced Grant
Ronald Cramer ontvangt in maart 2017 een ERC Advanced Grant voor zijn project 'Algebraic Methods for Stronger Crypto'. Hij ontvangt 2,5 miljoen euro om de komende 5 jaar onderzoek te verrichten.
-
Boekpublicatie Ronald Cramer: een wereldprimeur
Prof. Ronald Cramer, in samenwerking met Ivan Damgard en Jesper Nielsen (Aarhus University) hebben onlangs het aller eerste boek ooit over “quantum-secure multi-party computation” uitgebracht. De drie auteurs hebben er zes jaar over gedaan om dit omvattende boek te schrijven.
-
Ronald Cramer geïnstalleerd als lid van de Koninklijke Nederlandse Akademie van Wetenschappen
Ronald Cramer, hoogleraar cryptologie bij het Mathematisch Instituut van de Universiteit Leiden en hoofd van de onderzoeksgroep Cryptology van het Centrum Wiskunde & Informatica (CWI), is vandaag, op 30 september 2013, geïnstalleerd als lid van de KNAW.
-
Advances in computational methods for Quantum Field Theory calculations
In this work we describe three methods to improve the performance of Quantum Field Theory calculations.
-
Secure and Efficient Computing on Private Data
Lezing
-
Large Time Behaviour of Neutral Delay Systems
Promotor: S.M. Verduyn Lunel
-
Strategies for Mechanical Metamaterial Design
On a structural level, the properties featured by a majority of mechanical metamaterials can be ascribed to the finite number of soft internal degrees-of freedom allowing for low-energy deformations.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Thomas BäckWiskunde en Natuurwetenschappen
-
Computations in the Social Brain
Promotie
-
Torsion points on elliptic curves over number fields of small degree
Promotor: S.J. Edixhoven Co-promotor: L. van Geemen, P. Parent
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
Attacks on hash functions and applications
Promotores: R. Cramer, A.K. Lenstra, Co-Promotor: B.M.M. de Weger
-
On the computation of norm residue symbols
Promotie
-
VICI-subsidie voor Ronald Cramer
Aan Ronald Cramer (CWI/Leiden) is door de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) een Vici-subsidie toegekend voor zijn onderzoek naar de wiskundige fundamenten van privacy beschermende berekeningen, oftewel 'secure computation'.
-
Ronald Cramer op Kennislink over cryptografie
Cryptograaf Ronald Cramer kreeg in maart 2017 een ERC-Advanced Grant om onder meer 'secure multi party computation' verder te ontwikkelen. Kennislink sprak hem over de techniek, die het mogelijk maakt informatie te delen en verwerken zonder privacy op te geven. 'Lang was dit heel theoretisch. Maar…
-
Multi-objective mixed-integer evolutionary algorithms for building spatial design
Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.
-
Expansions of quantum group invariants
In my research, we developed a method to distinguish knots. A knot is a mathematical depiction of the everyday knot that occurs in ropes and cords.
-
Synthetic, Physical and Computational Chemistry of Propeller-shaped Polycyclic Aromatic Hydrocarbons
This thesis systematically studies the physicochemical properties of non-planar, propeller-shaped, polycyclic aromatic hydrocarbons. The synthesis of several so-called propellerenes is described on a gram scale, using optimized procedures aimed at using less hazardous reagents and reducing the amount…
-
A versatile tuple-based optimization framework
Promotor: Prof.dr. H.A.G. Wijshoff
-
Images of Galois representations
Promotores: S.J. Edixhoven, P.Parent
-
Impact of land use changes on the human-elephant conflict
Promotor: G.R. de Snoo, W. Kustiawan, Co-promotor: H.H. de Iongh
-
Two-Prover Bit-Commitments: Classical, Quantum and Non-Signaling
This thesis considers multi-prover commitment schemes whose security is based on restrictions on the communication between the provers.
-
Discovery of BUB1 kinase inhibitors for the treatment of cancer
The spindle-assembly checkpoint (SAC) is a safety mechanism which secures accurate chromosome segregation during mitosis.
-
Explicit Computation of the Height of a Gross-Schoen Cycle
Promotie
-
5 Assistant/Associate/Full Professors in Artificial Intelligence and Computer Science
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Benchmarking Discrete Optimization Heuristics
This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.
-
Higgs dynamics in the early universe
In the early universe, the dynamics of the Higgs field can give rise to many interesting phenomena.
-
Algorithms for the description of molecular sequences
Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Filter-based reconstruction methods for tomography
Promotor: K.J. Batenburg
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: Prof.dr.ir. E. Deprettere
-
Quantification in untargeted mass spectrometry-based metabolomics
Promotor: T. Hankemeier, Co-promotor: T.H. Reijmers
-
Arithmetic of affine del Pezzo surfaces
In this thesis integral points on affine del Pezzo surfaces are studied.
-
Enhanced coinduction
Promotores: Prof.dr. F.S. de Boer, Prof.dr. J.J.M.M. Rutten (Radboud Universiteit Nijmegen)
-
Algebraic filters for filtered backprojection
Promotor: K.J. Batenburg, Co-promotor: A.W. van der Vaart, B. de Smit
-
Fuzzy systems and unsupervised computing: exploration of applications in biology
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.
-
Over het portfolio
Deelnemers aan een Learning My Way programma kunnen via learningmyway.nl het portfolio bereiken via beveiligde single-sign on. Ook na het afronden van je studie blijft je portfolio toegankelijk.
-
Cryptography from quantum uncertainty in the presence of quantum side information
Promotor: Ronald Cramer, Co-promotor: Serge Fehr
-
Towards a Sustainable and Circular Metals Economy
In-use stocks of products can be considered as intermediaries between human needs and the physical world.