Lanus, Erin
17  results:
Search for persons X
?
3

Why Cyber Threat Modeling Needs Human Factors Expansion: A ..:

, In: 2023 3rd Intelligent Cybersecurity Conference (ICSC),
 
?
4

Systematic Training and Testing for Machine Learning Using ..:

, In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Cody, Tyler ; Lanus, Erin ; Doyle, Daniel D.. - p. 102-109 , 2022
 
?
5

Formal Methods Analysis of the Secure Remote Password Proto..:

, In: Logic, Language, and Security; Lecture Notes in Computer Science,
Sherman, Alan T. ; Lanus, Erin ; Liskov, Moses... - p. 103-126 , 2020
 
?
6

Algorithms for Constructing Anonymizing Arrays:

, In: Lecture Notes in Computer Science; Combinatorial Algorithms,
Lanus, Erin ; Colbourn, Charles J. - p. 382-394 , 2020
 
?
7

Genetic algorithms for affine transformations to existentia..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,
 
?
 
1-15