What is quantum computing? Why are Google, Microsoft, MIT, Harvard and other companies and institutions working on this? How does quantum computing combine quantum mechanics with computation? Come learn the basics of quantum mechanics and computation in order to learn about quantum computing. This could potentially be the next revolution of computers. Be a part of it!

Z3 is a powerful theorem prover/SMT solver developed by Microsoft. We will use it to break hash functions, pseudo-random number generators, and more.

Learn the principles of computer exploitation and securing information. Topics may include cryptography, reverse engineering, binary exploitation, and web hacking. Classes will include hands-on computer labs.