Limited-Time Offer: Up to 75% Off Coursera Plus!
7000+ certificate courses from Google, Microsoft, IBM, and many more.
This course aims to teach learners about machine-checked analysis of browser security mechanisms. The course covers the skills and tools required for analyzing browser security mechanisms using formal methods. The teaching method involves presenting research findings and methodologies in the field. This course is intended for individuals interested in browser security, formal methods, and machine-checked analysis.
