fmsec

Network on formal methods for security (FM-SEC)

[Catalin Hritcu @chritcu]

The main CCS (@acm_ccs) deadline is on April 29th (updated!) and there is also a Formal Methods and Programming Languages Track to which you can consider submitting: https://t.co/yQrkThxYzq

[SCCS @SCCS_UniSurrey]

Congratulations to Dan Gardham @gardhamdan @UniOfSurrey who came 1st in the mathematics category in the Stem For Britain @STEM4Brit today in Parliament and became a finalist for the Westminster medal. #stem4brit

[SCCS @SCCS_UniSurrey]

We're looking for a postdoc in formal cryptographic treatment of e-voting!
Join SCCS! We're 20+ faculty & about 50 researchers, working in cryptography, security, privacy, verification, networks & distributed systems!

https://t.co/XxBmytGefd
Enquiries; [email protected]

[fmsec @fmsec_network]

Join our online seminar today on "Certifying Statistical Robustness in Coq" by Alessandro Bruni, at 3pm on Zoom.

https://t.co/W3YJC8ojz6

[fmsec @fmsec_network]

We are back in 2024 with gusto!
When: This Wednesday, on the 31st of January, at 3pm UK time.
Presenter: Alessandro Bruni (ITU Copenhagen)
Title: Certifying Statistical Robustness in Coq
Where: Zoom (ID: 969 2029 8516, Passcode: 880862)
Livestream:https://t.co/SZC88hpiV5

[fmsec @fmsec_network]

We are back with our Formal Methods for Security seminars. This Wednesday, on the 31st of January, at 3pm UK time, we will host Alessandro Bruni with his talk on Certifying Statistical Robustness in Coq. @hoheinzollern @ITUkbh_IT

[fmsec @fmsec_network]

This Wednesday, 13th of December, at 3pm UK Time, we will host the presentation on Certifying Statistical Robustness in Coq by Alessandro Bruni @hoheinzollern
from @ITUkbh
https://t.co/W3YJC8ojz6

[fmsec @fmsec_network]

Save the date!!!
We have a new seminar coming up in December. Alessandro Bruni @hoheinzollern from @ITUkbh will present part of his ongoing work on Certifying Statistical Robustness in Coq.

https://t.co/W3YJC8oRoE

[fmsec @fmsec_network]

Our seminar on Formal Methodologies to secure CPS will start in a couple of minutes. @UKSPSeminars

https://t.co/7R5VcjxEXS

[fmsec @fmsec_network]

Our next seminar on Formal Methods for Security together with @UKSPSeminars is today, at 3pm.

[Erisa Karafili @ErisaKarafili]

Today at @fmsec_network @UKSPSeminars we have an exciting talk from Massimo Merro @UniVerona about Formal Methodologies to secure CPS. See you at 3.00pm.

Info below: https://t.co/zfLDuM9msv

[fmsec @fmsec_network]

New seminar, jointly with UK-SPS, this Wednesday, 3pm UK time, on formal treatment of cyberphysical systems. Very exciting abstract. See details here https://t.co/7R5Vcjx78k
Join us!

[fmsec @fmsec_network]

@UKSPSeminars

[fmsec @fmsec_network]

Back into the autumn term, with formal verification of WireGuard !!! Wednesday 25th of October, 3pm UK time, joint FM-SEC/UK-SPS online seminar: https://t.co/8zD34tmNbU. By Dr Sylvain Ruhault. Join us online!!!

[fmsec @fmsec_network]

Upcoming talk, Wednesday at 3PM BST, in formal verification of TEEs hosted by fm-sec and @UKSPSeminars; exciting work by Muhammad Usama Sardar https://t.co/itQzStlJwn See details here https://t.co/Z9mw8WGHRO

[fmsec @fmsec_network]

FM-SEC seminar today on formal and automatic network security configuration.

[UK-SPS @UKSPSeminars]

Join us today at 3pm UK time for Fulvio Valenza's online talk on Formal and Automatic Network Security Configuration. All are welcome.

Attendance info: https://t.co/ELEaHWukuB

#NetworkSecurity #FormalMethods #FormalVerification #Security

[Alan Woodward @ProfWoodward]

We’re looking for a researcher to join the team - have a quick read and see if it could be you https://t.co/B4d0Nzz5sp

[Computer Science @ComputingSurrey]

Congrats to Fortunat Rajaona and @icboureanu from @SCCS_UniSurrey, who together with Francesco Belardinelli and Vadim Malvone, got the best paper award at @FMsymp (FM2023)!

[Computer Science @ComputingSurrey]

Our PhD student, @KBudykho, presenting, at @NDSSSymposium, the new TrackDev framework for practical as well as formal privacy analysis! With @icboureanu, @SSchneider2025, S.Wesemeyer and other colleagues. A collaboration between @SCCS_UniSurrey , @nccgroup and @Surrey5GIC !

[Ioana Boureanu @icboureanu]

An attack that @Inutza16, @TomChothia, Chris Newton, Liqun Chen and I disclosed in 2021 is still unpatched, as I did it live on stage, two days ago: https://t.co/zPkQOszs3V
@SCCS_UniSurrey @UoB_SecPriv research funded by UK government under @UK_RISE

[SCCS @SCCS_UniSurrey]

Many Congratulations @AzaleaRaad and also Co-Director Brijesh Dongol, we’re looking forward to seeing you take VeTTS forward over the next few years!