Abstract: This is a patch for Alec Muffett's Crack 5.0 to work on NT's DES and MD4-based hash algorithms. Includes a short README, the patch itself, source code for crypt_lanman and crypt_ntpass (a la ...

In this section you will find teacher-created lesson plans. Materials from CERIAS sponsored presentations and workshops are also available.

My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, ...

Despite decades of mitigation efforts, SYN flooding attacks continue to increase in frequency and scale, and adaptive adversaries continue to evolve. In this talk, I will briefly introduce some ...

Online behavioral advertising has raised privacy concerns due to its dependence on extensive tracking of individuals' behaviors and its potential to influence them. Those concerns have been often ...