
Assistant Prof. @GaTechCyber | CS PhD @NUSComputing | Rigorous Security Analyses for ML Systems. Learnability of Analyses Rules. * Reach out, I am recruiting! *
Atlanta, United States
Joined July 2018
- Tweets84
- Following1K
- Followers689
- Likes938
Teodora Baluta retweeted
Say you are interested in doing doctrinal research on the politics, economics, or psychology of cybersecurity.
Would you rather get a Phd in (assuming all are at a top university):
17%Computer science
40%Social science discipline
43%Interdisciplinary program
30 votes • Final results Teodora Baluta retweeted
Team @NUSComputing at @splashcon!
Teodora Baluta retweeted
At @NUSComputing we are hosting a 3 day workshop on topics in Consensus, Concurrency and Cryptography, to get students excited about research in these areas. Students, please sign up! Please spread the word 🙏
Sign up for a complimentary workshop from the NUS CRYSTAL Centre.
Consensus, Concurrency & Cryptography Workshop — C3 (Online)
📅 12 - 14 December 2022
⏰ 15:00 - 20:00 SGT
👉🏻 Sign up: buff.ly/3EH5l9W
#NUS #workshop #NUScrystalcentre #blockchain #distributedsystems
Teodora Baluta retweeted
Please retweet! The National University of Singapore is hiring in Software Engineering. We have open tenure-track (listserv.acm.org/scripts/wa-…) and educator-track (listserv.acm.org/scripts/wa-…) positions. I'd be excited to welcome you as a colleague!
Teodora Baluta retweeted
Just updated the Security Circus page with some statistics about women in security @WomenCyberSec
s3.eurecom.fr/~balzarot/secu…
Teodora Baluta retweeted
Congratulations @rzshokri
We’re closing this year with great research news!
Our Asst Prof Reza Shokri (@rzshokri) has been selected by @intel's Private #AI Collaborative Research Institute to head a project on heterogeneous decentralised learning. Congrats!
Read more about it: comp.nus.edu.sg/news/2020-re…
Teodora Baluta retweeted
Glad to know that @ksmeel is named AI's 10 to Watch! Congrats!
Amazing folks like Kuldeep are the reason I was convinced to join @NUSComputing :)
computer.org/csdl/magazine/e…
Teodora Baluta retweeted
I'm hiring PhD students and postdocs for my Secure & Trustworthy Systems group at ETH Zurich @CSatETH.
If you are interested in the positions, please email me directly.
For research and contact info, see shwetashinde.org
Teodora Baluta retweeted
Teodora Baluta retweeted
New Paper: Sampling-based approach for quantittive quantitativeverification of Deep Neural Nets. (with @teobaluta , Z.L. Chua, and P. Saxena). We propose a new attack agnostic metric adversarial hardness to capture model's robustness: arxiv.org/pdf/2002.06864.pdf
Teodora Baluta retweeted
After extensive community feedback, Oakland is moving to quarterly submission deadlines #SP20 #SP21 @IEEESSP. The submission dates for S&P 2021 are now available at: ieee-security.org/TC/SP2021/…. Honored to co-chair the conference with @thorstenholz.
Teodora Baluta retweeted
We looked into the NeurIPS 2019 data, to see if we could gain any interesting insights and inform discussion on future years. Here's our blog post on what we found out:
medium.com/@NeurIPSConf/what…
Teodora Baluta retweeted
Prof. Sanjit A. Seshia opens the post lunch session with exciting emerging topics for applying SAT/SMT in verifiable AI @satsmtschool @iitbombay
Teodora Baluta retweeted
Changing tracks a bit at #ccs19: jumped to the ML security now where Teodora Băluță presenting their work on verifying neural networks. Given a model they try to quantify the question of how many inputs satisfy a given feature.
Teodora Baluta retweeted
Our CS Research Week 2020 program is shaping up. Very excited to have Rajeev Alur, Peter Druschel, Lance Fortnow, Orna Grumberg, Kobbi Nissim, Eric Price, Romit Roy Choudhury, Lothar Thiele visit in January.






























