2022-02-01 10:40:51 EST Douglas Schafer: Both mission priority as well as acceptable risk
2022-02-01 10:41:12 EST Douglas Schafer: ...well, look at that!
2022-02-01 10:54:21 EST Jason Li: Question - in terms of MEF, and mapping to cyber assets, where do you see FM or other tools may help enhance assurance? For example, an FM-generated code will have lower risk of vuln?
2022-02-01 10:55:00 EST Michael Joseph: Thank you.
2022-02-01 10:55:42 EST Paul Ratazzi: Do you see efforts put into FM alleviating the efforts required for dependency analysis?
2022-02-01 10:59:05 EST Jason Li: Can't hear you Paul.
2022-02-01 10:59:38 EST Jason Li: Am I the only one?
2022-02-01 10:59:44 EST Aleksey Nogin: Paul, I think you are muted
2022-02-01 10:59:45 EST Keith Rebello: I can't hear Paul either
2022-02-01 10:59:45 EST Lesly-Ann Daniel: Me neither
2022-02-01 10:59:52 EST Jerry Dussault: Unmute Paul...
2022-02-01 10:59:55 EST Dariusz Mikulski: No, can't hear him here either
2022-02-01 11:00:06 EST Jason Li: yep
2022-02-01 11:00:06 EST Robbie VanVossen: yes
2022-02-01 11:00:16 EST Jerry Dussault: loud and clear
2022-02-01 11:00:16 EST Aleksey Nogin: Ryan, can hear you OK
2022-02-01 11:00:19 EST Dariusz Mikulski: yes
2022-02-01 11:00:21 EST Jonathan Gallagher: yes
2022-02-01 11:00:36 EST Catherine Meadows: I can hear you.
2022-02-01 11:02:16 EST Paul Ratazzi: Sorry everyone, operator error. I was unmuted in s/w but forgot to check my h/w mute.
2022-02-01 11:02:51 EST Jerry Dussault: No worries Paul, I think we've all been there.
2022-02-01 11:26:07 EST Robbie VanVossen: Knowing whether you can trust those dependencies is certainly an issue. Recently a developer of a widely used javascript library added an infinite loop into an update of that lib.
2022-02-01 11:31:41 EST Douglas Schafer: Phew.....look at Lenny!!!!!
2022-02-01 11:32:24 EST Douglas Schafer: yep
2022-02-01 11:32:40 EST Jerry Dussault: Sound is good!
2022-02-01 11:57:42 EST Kyung Kwak: Would you please share with us what is the Army/GVSC's position to leverage existing AFRL/DARPA investments on trusted computing?
2022-02-01 11:59:18 EST Stuart Card: And how does this all feed Project Convergence?
2022-02-01 11:59:26 EST Douglas Schafer: Always the details!
2022-02-01 12:01:40 EST Eric Smith: sound is good
2022-02-01 12:20:03 EST Jason Li: Thanks for the interestig presentation, Brad.
2022-02-01 12:20:27 EST Jason Li: In terms of Proof Engineering, what is your vision of integrating FM and IDE tools?
2022-02-01 12:20:45 EST Greg Shannon: Brad, what is a target minimum skill level for "users" of FMs?
2022-02-01 12:20:56 EST Stuart Card: Application of PEARLS to updating proofs applicable to code being automatically modified (e.g. by Genetic Programming)?
2022-02-01 12:21:08 EST Raymond Richards: When will your BAA be released?
2022-02-01 12:24:12 EST Peter G Neumann: Do you have any comments on the feasibility of total-system formal methods from the hardware up through the software to the mission?
2022-02-01 12:26:45 EST Peter Sewell: The recent success in Amazon, Facebook, etc. has created strong demand for experts there. That's good, but a downside is that it's pulling people out of academia that would otherwise be educating new generations. Any thoughts on that risk?
2022-02-01 12:31:55 EST Todd Humiston: For your awareness, due to unavoidable circumstances, Joseph “Dan” Trujillo will be unable to give his presentation today. Please use the timeslot from 1330-1400 (EST) for networking and exploring the collaboration tool.