Michele Pasqua (@_pasquamichele_) 's Twitter Profile
Michele Pasqua

@_pasquamichele_

Computer Scientist; Assistant Professor @UniVerona

ID: 1585723023822393346

linkhttp://michelepasqua.github.io calendar_today27-10-2022 20:00:36

50 Tweet

42 Followers

126 Following

NSAD at SPLASH 2024 (@nsad_workshop) 's Twitter Profile Photo

The list of accepted papers for NSAD 2024 is now online! 🚀 2024.splashcon.org/home/nsad-2024… A big thank you to all the authors for your contributions and to our PC for their hard work! See you in Pasadena! ☀️

Michele Pasqua (@_pasquamichele_) 's Twitter Profile Photo

Lipari School on Abstract Interpretion Just started with Patrick's talk 🔥 Many thanks to our industrial sponsors Jane Street and AbsInt!! #LipariAbstInt2024

Lipari School on Abstract Interpretion Just started with Patrick's talk 🔥

Many thanks to our industrial sponsors <a href="/JaneStreetGroup/">Jane Street</a> and AbsInt!!

#LipariAbstInt2024
Vincenzo Arceri (@arcerivincenzo) 's Twitter Profile Photo

We start the second day with Thomas Jensen talking about applications of abstract interpretation to software security ! #LipariAbsInt2024

We start the second day with Thomas Jensen talking about applications of abstract interpretation to software security !

#LipariAbsInt2024
Michele Pasqua (@_pasquamichele_) 's Twitter Profile Photo

Discussing proof methods and counterexample generation strategies for program Hyperproperties at the 3rd Summer School on Security Testing & Verification in Bruxelles 👨‍🏫

Discussing proof methods and counterexample generation strategies for program Hyperproperties at the 3rd Summer School on Security Testing &amp; Verification in Bruxelles 👨‍🏫
Michele Pasqua (@_pasquamichele_) 's Twitter Profile Photo

The 3rd Summer School on Security Testing & Verification just ended after a series of outstanding talks by Sébastien Bardin, Anders Møller, Cas Cremers, Peter Müller, and myself! #STV2024 🔝 Thanks to Coen De Roover for organizing! Amazing experience 🤩 cybersecurity-research.be/summer-school-…

The 3rd Summer School on Security Testing &amp; Verification just ended after a series of outstanding talks by <a href="/Seb_Bardin/">Sébastien Bardin</a>, <a href="/amoellercsaudk/">Anders Møller</a>, Cas Cremers, Peter Müller, and myself! #STV2024 🔝

Thanks to <a href="/CoenDeRoover/">Coen De Roover</a> for organizing! Amazing experience 🤩

cybersecurity-research.be/summer-school-…
Michele Pasqua (@_pasquamichele_) 's Twitter Profile Photo

Is Deep RL helpful in black-box testing of REST APIs? 🤓 Check out our upcoming ASE 2024 paper to know! #ASE2024 🚀 📄 Preprint available: arxiv.org/abs/2408.08594

ICST Conference (@icstconf) 's Twitter Profile Photo

Registration for ICST 2025 has opened! 😊 Please register by 6th of February (Authors) or 12th of February to receive the Early Bird Rate! ☀️🕊️ All info and link to the registration → conf.researchr.org/attending/icst…

ICST Conference (@icstconf) 's Twitter Profile Photo

🚨 #ICST25 is approaching fast! Don’t forget to register by February 12th to take advantage of the early bird rate! 🚨 🔗 conf.researchr.org/attending/icst… ICST

ITASEC (@itasec_conf) 's Twitter Profile Photo

Giorno 4 di ITASEC - SERICS 2025! Oggi, focus su Spoke 7, 8, 9 e 10 della Fondazione SERICS sulle tecnologie emergenti. Gli sponsor DigitalPlatforms e Greenbone hanno condiviso soluzioni strategiche mentre il Research Pitch ha visto i ricercatori presentare i loro progetti innovativi.