1
Foilsithe 2006
Clár Ábhair: ... -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2014
Clár Ábhair: ... of Crypto Algorithm -- Fault-Tolerant Linear Collision Attack: A Combination with Correlation Power Analysis...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2005
Clár Ábhair: ... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair: ... on Short Authenticated Strings -- On Codes, Matroids and Secure Multi-party Computation from Linear Secret...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ...Key Management and Key Exchange -- Generic One Round Group Key Exchange in the Standard Model...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2010
Clár Ábhair: ... -- How to Construct Interval Encryption from Binary Tree Encryption -- Shrinking the Keys of Discrete-Log...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Foilsithe 2008
Clár Ábhair: ... -- VirtualActor: Endowing Virtual Characters with a Repertoire for Acting -- Steps towards a Generic Interface...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Foilsithe 2008
Clár Ábhair: ... Unclonable Function -- Session 3: Encryption I -- Two Generic Constructions of Probabilistic Cryptosystems...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Foilsithe 2007
Clár Ábhair: ... Anonymous Attestation Scheme for Embedded Devices -- Anonymous Signatures Made Easy -- On the Generic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2008
Clár Ábhair: ... -- New Results on the Key Scheduling Algorithm of RC4 -- Cryptographic Hash Functions -- Two Attacks...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
Foilsithe 2006
Clár Ábhair: ...-Coefficients Setting -- Generic On-Line/Off-Line Threshold Signatures -- Linear Integer Secret Sharing...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2007
Clár Ábhair: ... -- Implicit Surface Reconstruction from Scattered Point Data with Noise -- The Shannon Entropy-Based Node...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2014
Clár Ábhair: ... Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2015
Clár Ábhair: ... Classification -- Classification of multichannel EEG signal by linear discriminate analysis -- Virtual Enterprise...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Foilsithe 2010
Clár Ábhair: ... -- Improved Generic Attacks on Unbalanced Feistel Schemes with Expanding Functions -- The World Is Not Enough...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Foilsithe 2013
Clár Ábhair: ....- Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing.-From Regular Tree Expression...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2006
Clár Ábhair: ... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair: ... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2012
Clár Ábhair: ... of Linear Biases: Three Instructive Examples.- Substitution-Permutation Networks, Pseudorandom Functions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2014
Clár Ábhair: ... Refinement of Mass-Action Reaction Networks -- On Maximal Block Functions of Computable η-like Linear...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar