We are hiring new student research assistants and tutors. Apply now!
4 papers accepted at SPIN 2024!

Talks of Gidon Ernst

Guest lectures, invited talks, and tutorials

  1. Gidon Ernst. SecCSL. Invited talk at EliteSE, 01. January 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, }

Conference and other Presentations

  1. Gidon Ernst. VerifyThis tasks in sv-benchmarks. Conference talk at CPA19-VerifyThis, 02. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA19VerifyThis, author = {Gidon Ernst}, title = {VerifyThis tasks in sv-benchmarks}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19-VerifyThis_tasks_in_sv-benchmarks.pdf}, day = {02}, month = {October}, venue = {CPA19-VerifyThis}, video = {}, }
  2. Gidon Ernst. SecCSL: Security Concurrent_Separation_Logic. Conference talk at AVM19, 11. September 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{AVM19SecCSL, author = {Gidon Ernst}, title = {SecCSL: Security Concurrent_Separation_Logic}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-11_AVM19-SecCSL_Security_Concurrent_Separation_Logic.pdf}, day = {11}, month = {September}, venue = {AVM19}, video = {}, }

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Last modified: Thu Mar 28 02:04:40 2024 UTC