{"681203":{"#nid":"681203","#data":{"type":"event","title":"SCP Faculty Recruiting Candidate Seminar - Alex Ozdemir","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EPresentation Title:\u0026nbsp;\u003C\/strong\u003ESecurity \u0026amp; Privacy through Programmable Cryptography, Compilers, and Verification\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u0026nbsp;\u003C\/strong\u003EHow can we build large applications that are secure and private? How can we balance complexity of the application\u0027s logic with the complexity of the cryptographic tools needed to achieve security?\u003Cbr\u003E\u0026nbsp;\u003Cbr\u003EIn this talk, I will discuss an answer to this question: the **programmable cryptography stack**. A programmable cryptosystem allows a developer to build applications that securely compute over encrypted, secret, or distributed data. The programmable cryptography **stack** allows developers to express these secure applications using high level abstractions. I will discuss three of my contributions to the programmable cryptography stack in the domains of cryptography, compilers, and formal verification.\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBio:\u003C\/strong\u003E\u0026nbsp;Alex Ozdemir is a PhD student at Stanford advised by Dan Boneh and Clark Barrett. He combines ideas from cryptography, compilers, and verification to create tools for building more secure and private systems. Before Stanford, Alex worked as a high school teacher and before that he did his undergraduate work at Harvey Mudd College.\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EAlex Ozdemir will give a talk about securing programmable cryptography, compilers, and verification in the Coda Atrium on Thursday, April 10th. A virtual option is available through Zoom.\u0026nbsp;\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Alex Ozdemir will give a talk about securing programmable cryptography, compilers, and verification."}],"uid":"36253","created_gmt":"2025-03-18 16:32:14","changed_gmt":"2025-03-19 14:43:07","author":"John Popham","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2025-04-10T11:00:00-04:00","event_time_end":"2025-04-10T12:30:00-04:00","event_time_end_last":"2025-04-10T12:30:00-04:00","gmt_time_start":"2025-04-10 15:00:00","gmt_time_end":"2025-04-10 16:30:00","gmt_time_end_last":"2025-04-10 16:30:00","rrule":null,"timezone":"America\/New_York"},"location":"Coda Building, 9th Floor Atrium","extras":[],"hg_media":{"676601":{"id":"676601","type":"image","title":"Alex-Ozdemir.png","body":null,"created":"1742395237","gmt_created":"2025-03-19 14:40:37","changed":"1742395237","gmt_changed":"2025-03-19 14:40:37","alt":"A event promotion graphic with the date, time, place, and talk title. ","file":{"fid":"260408","name":"Alex-Ozdemir.png","image_path":"\/sites\/default\/files\/2025\/03\/19\/Alex-Ozdemir.png","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2025\/03\/19\/Alex-Ozdemir.png","mime":"image\/png","size":656584,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2025\/03\/19\/Alex-Ozdemir.png?itok=UdjPHo2x"}}},"media_ids":["676601"],"groups":[{"id":"47223","name":"College of Computing"},{"id":"660367","name":"School of Cybersecurity and Privacy"}],"categories":[],"keywords":[{"id":"191634","name":"school of cybersecurity and privacy"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1789","name":"Conference\/Symposium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"177814","name":"Postdoc"},{"id":"174045","name":"Graduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}