The UMBC Cyber Defense Lab presents Interactive Proof Assistants for Verification Ian Blumenfeld Principal Research Mathematician Two Six Labs 12:00-1:00 pm Friday, 31 January...
January 20, 2020
·
7:07 PM
The following list of posts is filtered
Clear Filter
Posts
The UMBC Cyber Defense Lab presents Reasoning About Time in a Crypto Protocol Analysis Tool Dr. Catherine Meadows, Naval Research Laboratory 12:00–1:00pm Friday, 15 November 2019,...
November 10, 2019
·
3:12 PM
On October 29 and 30 the National Science and Technology Medals Foundation will host Science Unscripted: Conversations with AI Experts, two early evening events at UMBC from 5:00 to 8:00pm that...
October 14, 2019
·
1:30 PM
Lockheed Martin Distinguished Speaker Series How Algorithms Are Shaping Our Lives Dr. Alfred V. Aho Lawrence Gussman Professor Emeritus of Computer Science, Columbia University...
October 6, 2019
·
6:37 PM
Lockheed Martin Distinguished Speaker Series Three Related Takes on Investigating Human-Like Intelligence: Cognitive Architectures, a Common Model of Cognition, and Dichotomic Maps Dr....
October 2, 2019
·
1:59 PM
Department of Geography and Environmental Systems Bringing Social, Information, and Natural Sciences together to Understand Human Transformation of Earth Dr. Earle Ellis, UMBC...
September 18, 2019
·
1:34 PM
The UMBC Cyber Defense Lab presents Analysis of the Secure Remote Password (SRP) Protocol Using CPSA Erin Lanus, UMBC Cyber Defense Lab 12:00–1:00pm, Friday, 6 September 2019, ITE...
September 3, 2019
·
10:21 PM
Correlation analysis with small sample sizes Peter Schreier, Univ. of Paderborn, Germany 2:00-3:00 Tuesday, 18 June 2019, ITE 325B, UMBC Most common techniques for correlation...
June 15, 2019
·
6:24 PM
Tensor Decomposition of ND data arrays Prof. David Brie, University of Lorraine 2:00pm Thursday, 13 June 2019, ITE 325B, UMBC The goal of this talk is to give an introduction to...
June 12, 2019
·
9:26 AM
UMBC Cyber Defense Lab Security for Smart Cyber-Physical Systems Prof. Anupam Joshi, UMBC 12:00–1:00pm, Friday, 3 May 2019, ITE 227 Smart Cyber-Physical Systems (CPS) are...
May 1, 2019
·
11:29 PM