Jackson, Dennis
42  Ergebnisse:
Personensuche X
?
1

The Provable Security of Ed25519: Theory and Practice:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Brendel, Jacqueline ; Cremers, Cas ; Jackson, Dennis. - p. 1659-1676 , 2021
 
?
2

Short Paper: Modular Black-box Runtime Verification of Secu..:

, In: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security,
 
?
3

Seems Legit : Automated Analysis of Subtle Attacks on Pr..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
 
?
4

List of contributors:

, In: Mass Production of Beneficial Organisms,
 
?
 
?
6

Comprehensive Modelling and Visualization of Particulate Ma..:

, In: Springer Proceedings in Complexity; Air Pollution Modeling and its Application XXVI,
 
?
7

Contributors:

, In: Cardiac Electrophysiology: From Cell to Bedside,
 
?
8

Contributors:

, In: Avery's Diseases of the Newborn,
Abman, Steven H. ; Allegaert, Karel ; Arya, Bhawna... - p. vii-xx , 2018
 
?
9

Contributors:

, In: Mucosal Immunology,
Abadie, Valérie ; Abraham, Clara ; Adams, David H.... - p. xv-xxi , 2015
 
?
10

Contributors:

, In: Middleton's Allergy,
 
?
11

Nutrient Considerations in Lactose Intolerance:

, In: Nutrition in the Prevention and Treatment of Disease,
 
?
12

Contributors:

, In: Nutrition in the Prevention and Treatment of Disease,
 
?
13

Contributors:

, In: Avery's Diseases of the Newborn,
 
?
14

Agile specifications:

, In: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications,
 
?
15

List of Contributors:

, In: Dermatological Signs of Internal Disease,
 
1-15