MITRE

forum

Visible to the public 2023 MITRE Embedded Capture the Flag (eCTF) Competition

Submitted by benjanis on Thu, 09/15/2022 - 9:46am

Registration for the 2023 MITRE Embedded Capture the Flag (eCTF) Competition is now open at https://forms.office.com/g/rLaXwSBpdk! The competition will run over the spring semester from from January 18th through April 19th with an award ceremony on April 26th.

file

Visible to the public Cross-Tool Semantics for Protocol Security Goals

Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:

Presented as part of the 2017 HCSS conference.

Abstract:

file

Visible to the public Trust Engineering with Cryptographic Protocols

Submitted by guttman on Wed, 08/24/2011 - 6:48pm. Contributor:

Presented as part of the 2004 HCSS conference.