#mpi_sp 搜尋結果
🥳 Just accepted at #AAAI26 in Singapore: Our paper on estimating the *correctness* of LLM-generated code in the absence of oracles (e.g., a ground-truth implementation). 📝 arxiv.org/abs/2507.00057 w/ Thomas Valentin (ENS Paris-Saclay), @swissArdi and @Gaetano__Sapia (#MPI_SP).
Our paper on Green Fuzzing has just been accepted at @ISSTA_conf'23. We suggest to stop a fuzzing campaign when the coverage of potentially vulnerable code saturates. By @StephanLipp, Daniel Elsner, @SeverinKacianka, Alex Pretschner, Sebastian Banescu (@tum_i4) & YT (#MPI_SP).
🔥 No fuzz drivers needed. Our paper on injecting fuzzers into running systems at user-defined amplifier points (in-vivo fuzzing) was accepted at #ICSE25! 📝 mboehme.github.io/paper/ICSE25-i… 🧑💻 github.com/OctavioGalland… (subject to AE) //Collab w/ @GallandOctavio (former #MPI_SP intern).
Wie sieht die Forschung der #Softwaresicherheit am #MPI_SP eigentlich so aus? Warum gibt es Sicherheitslücken? Wie kann man Entwicklern helfen die Suche nach solchen Schlupflöchern zu automatisieren? Dazu hat mich das Max Planck Forschungsmagazin befragt: mpg.de/20065327/softw…
Our Office Team at #MPI_SP is the best! Thanks for the nice chocolate surprise this morning. Happy Saint Nicholas Day to everyone who celebrates!
🎓 Huge congratulations to Dr. Megha Sundriyal @meghas_15 on successfully defending her PhD thesis. Megha is now a postdoc at Max Planck Institute for Security and Privacy #MPI_SP @maxplanckpress. Wishing you all the best in the exciting new chapter! 🚀 👏
Good news! Our Entropic paper was chosen as ACM SIGSOFT Research Highlight: sigsoft.org/resources/high… Congrats to Valentin (@Jilyac) and Sang Kil (@sangkilc)! Not been possible w/o Google's Dynamic Tools & Open Source Security Teams. 🙏 //cc #MPI_SP @MonashInfotech @CSRC_KAIST
Honored to host @neilwalkinshaw at #MPI_SP (@maxplanckpress) this week for two insightful days with our Software Security group (led by @mboehme_)! His talk on "Using Causal Inference to Test Software Systems" yesterday was a highlight. Grateful for the inspiring discussions!
#FAccT2022 Planning to explore Hongdae? Stop by the Alternative Space LOOP where @barottimarco's APES is on display until June 26. This kinetic sound sculpture "takes us on a metaphorical exploration of our digital evolution" marcobarotti.com/apes Collab with @CASA_EXC #MPI_SP
Mit @CASA_EXC, @cube5security, Graduiertenkollegs und einem Research Center unter dem Dach der "Research Alliance Ruhr" arbeiten Hochschulen und Forschungseinrichtungen gemeinsam für die Sicherheit unserer Daten. @HGI_Bochum @ruhrunibochum @uniallianz #MPI_SP
If you are a CS BSc/MSc student who wants to learn what it would be like to do a PhD in CS, check out our Cornell-Maryland-MPI "Summer School". 📅 15. Feb 2025: Application deadline ✍ cmmrs.mpi-sws.org/how-to-apply/ // #mpi_inf #mpi_sws #mpi_sp
Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. @ERC_Research #ERCCoG #MPI_SP @CASA_EXC mpi-sp.org/71953/news_pub…
Just started out the second week of my internship at #MPI_SP in Bochum, working in @mboehme_'s group. So thrilled to be a part of this group, I'll sure try to make the best out of my time here!
Then you might be pleased to know that RUB just founded a brand-new Faculty of Computer Science. Let me know if you want to visit is at the #MPI_SP and #RUB. You are most welcome to give a talk, as well. informatik.rub.de
How does it feel like to do world-class research? If you are a CS undergrad who is interested in our topics, the Software Security group at #MPI_SP is hiring interns for summer & winter 2025! Details: 📅 01 November 2024 ✍️ cis.mpg.de/internships/ 🛡️ mpi-softsec.github.io
Assistant and Full Professor positions in the new Faculty of Computer Science at @RuhrUniBochum to strengthen existing faculty and foster collaborations with #MPI_SP. Apply until July 29, 2022. jobs.ruhr-uni-bochum.de/jobposting/586…
As I sit down to have my lunch, I’m reminiscing about group lunch with all my floor members at #MPI_SP and our wonderful conversations that built camaraderie. Thank you @yixinzouu for the opportunity to work with you this summer. I had the most productive and positive time.
CASA PI & #MPI_SP @maxplanckpress Group leader Clara Schneidewind @KunigundeII was co-chair for the 4th International Workshop on Formal Methods for #Blockchains @confCAV @FLoC2022 in Haifa last week. #CASAfantonTour 🌎🚀
Opening the month, we're happy to present you @asia_biega as next role model in our #WomenInITS series! For her job as CASA PI and #MPI_SP @maxplanckpress group leader for #responsibleComputing she benefits from her wide experience in industry. meet Asia 👉bit.ly/3cOB0e5
🥳 Just accepted at #AAAI26 in Singapore: Our paper on estimating the *correctness* of LLM-generated code in the absence of oracles (e.g., a ground-truth implementation). 📝 arxiv.org/abs/2507.00057 w/ Thomas Valentin (ENS Paris-Saclay), @swissArdi and @Gaetano__Sapia (#MPI_SP).
🎓 Huge congratulations to Dr. Megha Sundriyal @meghas_15 on successfully defending her PhD thesis. Megha is now a postdoc at Max Planck Institute for Security and Privacy #MPI_SP @maxplanckpress. Wishing you all the best in the exciting new chapter! 🚀 👏
Our Office Team at #MPI_SP is the best! Thanks for the nice chocolate surprise this morning. Happy Saint Nicholas Day to everyone who celebrates!
Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. @ERC_Research #ERCCoG #MPI_SP @CASA_EXC mpi-sp.org/71953/news_pub…
🔥 No fuzz drivers needed. Our paper on injecting fuzzers into running systems at user-defined amplifier points (in-vivo fuzzing) was accepted at #ICSE25! 📝 mboehme.github.io/paper/ICSE25-i… 🧑💻 github.com/OctavioGalland… (subject to AE) //Collab w/ @GallandOctavio (former #MPI_SP intern).
If you are a CS BSc/MSc student who wants to learn what it would be like to do a PhD in CS, check out our Cornell-Maryland-MPI "Summer School". 📅 15. Feb 2025: Application deadline ✍ cmmrs.mpi-sws.org/how-to-apply/ // #mpi_inf #mpi_sws #mpi_sp
It's been the greatest pleasure to hear @AbhikRoychoudh1 in this #MPI_SP Distinguished Lecture reflect on the recent progress and long-term perspective in automatic program repair & vuln. remediation. Abhik raised very interesting questions in trusted automatic programming.
It was great to attend @AbhikRoychoudh1's MPI Distinguished Lecture "Trusted Automatic Programming" hosted by @mboehme_! Learned a lot about program repair in the "pre-LLM" era and their issue-based solution @autocoderover powered by LLM agents.
#MPI_SP SoftSec group is lucky to host an inspiring set of visitors within few weeks * Neil Walkinshaw (Sheffield) on Causal Reasoning * Yizheng Chen (UMD) on Benchmarking Vuln Discovery * Andreas Zeller (CISPA) on Personalized Fuzzing * Abhik Roychoudhury (NUS) on Fuzzing&Repair
Honored to host @neilwalkinshaw at #MPI_SP (@maxplanckpress) this week for two insightful days with our Software Security group (led by @mboehme_)! His talk on "Using Causal Inference to Test Software Systems" yesterday was a highlight. Grateful for the inspiring discussions!
How does it feel like to do world-class research? If you are a CS undergrad who is interested in our topics, the Software Security group at #MPI_SP is hiring interns for summer & winter 2025! Details: 📅 01 November 2024 ✍️ cis.mpg.de/internships/ 🛡️ mpi-softsec.github.io
If you ever wondered how it is to live in #Bochum, Germany and be part of our growing Security&Privacy community, then watch this wonderful video about my amazing colleague @YixinZouu, her research, ambitions, and personal journey. @CASA_EXC #CASA #MPI_SP youtube.com/watch?v=2yvcE2…
youtube.com
YouTube
CASA Stories: Yixin Zou on Working within Bochum Cybersecurity...
Welcome to #MPI_SP and the Bochum Security ecosystem, Jana! 🥳 We are all really excited to be working with you.
7-Day Research Summer School for BSc/MSc students all over the world organized by the CS MPIs (#MPI_SWS, #MPI_INF, #MPI_SP), @UMDcs & @Cornell on Emerging Research Trends in Computer Science. 🖊️ Until Feb 25th: apply.cis.mpg.de/register/cmmrs/ 📅 Jul 28-Aug 4th: cmmrs.mpi-sws.org
Want to learn about research in computer science? Debating whether to go to grad school? Attend CMMRS (cmmrs.mpi-sws.org) to learn about emerging trends, experience cutting-edge research, and interact with professors and phd students. Deadline: Feb 25 (AOE)!
I am hiring a postdoctoral researcher at #MPI_SP @maxplanckpress in the @HorizonFINDHR project, to conduct research on fairness monitoring in algorithmic hiring, in particular AI-based ranking systems. More details & how to apply: asiabiega.github.io/hiring/FINDHR-… RTs appreciated!
There will be a 2024 edition of the HARRIS #hardwareReverseEngineering workshop at #MPI_SP @CASA_EXC @HGI_Bochum. Mark your calendars for 19+20 March 2024! mpi-sp.org/harris2024
As I sit down to have my lunch, I’m reminiscing about group lunch with all my floor members at #MPI_SP and our wonderful conversations that built camaraderie. Thank you @yixinzouu for the opportunity to work with you this summer. I had the most productive and positive time.
🥳 Just accepted at #AAAI26 in Singapore: Our paper on estimating the *correctness* of LLM-generated code in the absence of oracles (e.g., a ground-truth implementation). 📝 arxiv.org/abs/2507.00057 w/ Thomas Valentin (ENS Paris-Saclay), @swissArdi and @Gaetano__Sapia (#MPI_SP).
Wie sieht die Forschung der #Softwaresicherheit am #MPI_SP eigentlich so aus? Warum gibt es Sicherheitslücken? Wie kann man Entwicklern helfen die Suche nach solchen Schlupflöchern zu automatisieren? Dazu hat mich das Max Planck Forschungsmagazin befragt: mpg.de/20065327/softw…
Good news! Our Entropic paper was chosen as ACM SIGSOFT Research Highlight: sigsoft.org/resources/high… Congrats to Valentin (@Jilyac) and Sang Kil (@sangkilc)! Not been possible w/o Google's Dynamic Tools & Open Source Security Teams. 🙏 //cc #MPI_SP @MonashInfotech @CSRC_KAIST
🎓 Huge congratulations to Dr. Megha Sundriyal @meghas_15 on successfully defending her PhD thesis. Megha is now a postdoc at Max Planck Institute for Security and Privacy #MPI_SP @maxplanckpress. Wishing you all the best in the exciting new chapter! 🚀 👏
🔥 No fuzz drivers needed. Our paper on injecting fuzzers into running systems at user-defined amplifier points (in-vivo fuzzing) was accepted at #ICSE25! 📝 mboehme.github.io/paper/ICSE25-i… 🧑💻 github.com/OctavioGalland… (subject to AE) //Collab w/ @GallandOctavio (former #MPI_SP intern).
If you are a CS BSc/MSc student who wants to learn what it would be like to do a PhD in CS, check out our Cornell-Maryland-MPI "Summer School". 📅 15. Feb 2025: Application deadline ✍ cmmrs.mpi-sws.org/how-to-apply/ // #mpi_inf #mpi_sws #mpi_sp
Our Office Team at #MPI_SP is the best! Thanks for the nice chocolate surprise this morning. Happy Saint Nicholas Day to everyone who celebrates!
Mit @CASA_EXC, @cube5security, Graduiertenkollegs und einem Research Center unter dem Dach der "Research Alliance Ruhr" arbeiten Hochschulen und Forschungseinrichtungen gemeinsam für die Sicherheit unserer Daten. @HGI_Bochum @ruhrunibochum @uniallianz #MPI_SP
Our paper on Green Fuzzing has just been accepted at @ISSTA_conf'23. We suggest to stop a fuzzing campaign when the coverage of potentially vulnerable code saturates. By @StephanLipp, Daniel Elsner, @SeverinKacianka, Alex Pretschner, Sebastian Banescu (@tum_i4) & YT (#MPI_SP).
Honored to host @neilwalkinshaw at #MPI_SP (@maxplanckpress) this week for two insightful days with our Software Security group (led by @mboehme_)! His talk on "Using Causal Inference to Test Software Systems" yesterday was a highlight. Grateful for the inspiring discussions!
Opening the month, we're happy to present you @asia_biega as next role model in our #WomenInITS series! For her job as CASA PI and #MPI_SP @maxplanckpress group leader for #responsibleComputing she benefits from her wide experience in industry. meet Asia 👉bit.ly/3cOB0e5
CASA PI & #MPI_SP @maxplanckpress Group leader Clara Schneidewind @KunigundeII was co-chair for the 4th International Workshop on Formal Methods for #Blockchains @confCAV @FLoC2022 in Haifa last week. #CASAfantonTour 🌎🚀
We present you Clara Schneidewind as a role model in our #WomenInITS series! Clara is CASA PI & #MPI_SP research group leader @maxplanckpress. Developing secure & meaningful solutions for using #blockchain technology fuels @KunigundeII's research spirit. 👉bit.ly/3w1a54Z
#FAccT2022 Planning to explore Hongdae? Stop by the Alternative Space LOOP where @barottimarco's APES is on display until June 26. This kinetic sound sculpture "takes us on a metaphorical exploration of our digital evolution" marcobarotti.com/apes Collab with @CASA_EXC #MPI_SP
Something went wrong.
Something went wrong.
United States Trends
- 1. #BaddiesUSA 54.9K posts
- 2. Rams 28.6K posts
- 3. Scotty 9,284 posts
- 4. #TROLLBOY 1,782 posts
- 5. Chip Kelly 8,201 posts
- 6. Cowboys 98.7K posts
- 7. Eagles 138K posts
- 8. Stafford 14.3K posts
- 9. Bucs 12.1K posts
- 10. Baker 20.6K posts
- 11. Raiders 66.1K posts
- 12. #RHOP 11.2K posts
- 13. #ITWelcomeToDerry 14.2K posts
- 14. Stacey 27.8K posts
- 15. #LAShortnSweet 15.4K posts
- 16. Ahna 6,474 posts
- 17. Teddy Bridgewater 1,181 posts
- 18. Todd Bowles 1,993 posts
- 19. DOGE 160K posts
- 20. Vin Diesel 1,062 posts