High Assurance Multi-Function Crypto Development
Year: 2024
Type: conference-paper
Authors: Jeffrey Hughes, Ben Nahill, Eric Simpson, Jeffery Lim, Ryan Burrow, John Dean, Brian Lee, Michael Vai, Roger Khazan, Sean O’Melia, Andrew Ho, Michael Parrish, Jeffrey Womack, Scott Trotter, Maria Lodico
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4405103441
