High Assurance Multi-Function Crypto Development

Authors: Hughes, Jeffrey, Nahill, Ben, Simpson, Eric, Lim, Jeffery, Burrow, Ryan, Dean, John, Lee, Brian, Vai, Michael, Khazan, Roger, O'Melia, Sean, Ho, Andrew, Parrish, Michael, Womack, Jeffrey, Trotter, Scott, Lodico, Maria

Source: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2024 - 2024 IEEE. :969-974 Oct, 2024

Relation: MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM)