Skip to content

‘OAuth 2.0 Redirect URI Validation Falls Short, Literally’

NGN Research
by Noah Lloyd

‘AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis’

NGN Research
by Noah Lloyd

‘The Effectiveness of Embedded Values Analysis Modules in Computer Science Education: An Empirical Study’

NGN Research
by Noah Lloyd

‘A Case Study in Analytic Protocol Analysis in ACL2’

NGN Research
by Noah Lloyd

‘Using Counterexample Generation and Theory Exploration To Suggest Missing Hypotheses’

NGN Research
by Noah Lloyd

‘Verification of GossipSub in ACL2s’

NGN Research
by Noah Lloyd

‘Proving Calculational Proofs Correct’

NGN Research
by Noah Lloyd

‘Zero-Shot Referring Expression Comprehension via Structural Similarity Between Images and Captions’

NGN Research
by Noah Lloyd

‘A Unified Approach for Resilience and Causal Responsibility With Integer Linear Programming (ILP) and LP Relaxations’

NGN Research
by Noah Lloyd

‘Multiple Toddler Tracking in Indoor Videos’

NGN Research
by Noah Lloyd

‘Changing Parent Attitudes Towards HPV Vaccination by Including Adolescents in Multiparty Counseling Using Virtual Agents’

NGN Research
by Noah Lloyd

‘Conversational Assessment of Mild Cognitive Impairment with Virtual Agents’

NGN Research
by Noah Lloyd