219 citations · 268 across the 17 of their papers we have counts for
5 papers · 1 filter
Critical Infrastructure Security Goes to Space: Leveraging Lessons Learned on the Ground
Tim Ellis, Briland Hitaj, Ulf Lindqvist +3
Space systems enable essential communications, navigation, imaging and sensing for a variety of domains, including agriculture, commerce, transportation, and emergency operations b…
PassGPT: Password Modeling and (Guided) Generation with Large Language Models
Javier Rando, Fernando Perez-Cruz, Briland Hitaj
Large language models (LLMs) successfully model natural language from vast amounts of text without the need for explicit supervision. In this paper, we investigate the efficacy of…
Automatic Measures for Evaluating Generative Design Methods for Architects
Eric Yeh, Briland Hitaj, Vidyasagar Sadhu +3
The recent explosion of high-quality image-to-image methods has prompted interest in applying image-to-image methods towards artistic and design tasks. Of interest for architects i…
CoProver: A Recommender System for Proof Construction
Eric Yeh, Briland Hitaj, Sam Owre +2
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complex…
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
John Hester, Briland Hitaj, Grant Passmore +3
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-expon…