Search

What are you looking for?

About
- - - Column one
  - - Column two
  - - Featured
    - Dean’s Welcome To Our Community
      
      Join us in making a shared vision of computer science for everyone a powerful reality.
    - Why are students choosing Khoury College?
      
      Nearly 100% of new Northeastern graduates are working or in master's programs within nine months. Here are five more reasons Khoury students pick us.
Education
- - - Undergraduate
  - - Graduate
  - - Featured
    - Khoury College: Leading in AI innovation and education
      
      In the age of AI, why pursue a CS degree? From our AI-forward educational ethos to cutting-edge AI research, there actually has never been a better time to join the field. Learn more.
    - Experiential Learning
      
      It's the Northeastern advantage: Learn about the many experiential learning opportunities that set our students apart.
    - Global Campus Experience
      
      Study, work, and research at one of our nine network campuses as well as at a wide range of locations on seven continents.
Research
- - - Column one
  - - Column two
  - - Featured
    - The partnership that fuels America
      
      From our smartphones to the milk we drink, the partnership between government investment, academic research, and industry innovation has driven decades of technological progress and economic growth for the US. Learn how Khoury College is committed to playing a key role.
    - CHI 2026: Khoury researchers set new publishing benchmark
      
      Khoury researchers are heading to this year's CHI conference in Barcelona with a college-record 41 accepted works, 53 contributors, and five best paper honorable mentions. Learn more from Khoury News.
Partners
- - - Column one
  - - Featured
    - Hiring a co-op student: What to know
      
      For more than 500 partners across our global network, co-op students bring fresh perspectives and make an immediate impact. Learn more.
    - Co-op partners see strong demand for recent CS grads
      
      Companies like Dell, HubSpot, and Notability are leaning into early-career hiring — and seeing real results. With AI making engineers more productive than ever, new hires are contributing immediately, bringing fresh perspectives, and helping companies build better products.
    - Verizon Smart Campus Competition
      
      Verizon partnered with Northeastern to challenge students to design real-world solutions using 5G and emerging technologies. Explore how the winning teams turned that challenge into feasible, engineering-driven innovations that drew on disciplines from across the campus.
People
- - - Column one
  - - Column two
  - - Featured
    - Careers at Khoury College
      
      View open roles across our global campuses.
Resources For

Contact
Visit
Apply
Donate

Instagram
TikTok
Reddit
Linkedin
YouTube
Bluesky
Khoury College X Page
Threads
Facebook

Home | Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict

Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict

Instagram
TikTok
Reddit
Linkedin
YouTube
Bluesky
Khoury College X Page
Threads
Facebook

Contact
Visit
Apply
Donate

Contact

440 Huntington Avenue 202 West Village H Boston, MA 02115

Quick Links

Home
Khoury News
All People
Events Calendar
Careers