Lambda Security

AI & ML interests

Application Security, AI and Software Engineering

Recent Activity

codelion  authored a paper about 2 hours ago

The Dynamics of Software Composition Analysis

codelion  authored a paper about 2 hours ago

End to End Verification and Validation with SPIN

codelion  authored a paper about 3 hours ago

Automated Verification of Integer Overflow

View all activity

Team members 1