[TYPES/announce] IEEE CSF 2024 - Call for Participation

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*
CSF 2024 - Call for Participation

37th IEEE Computer Security Foundations Symposium

July 8-12, 2024

*** Early registration deadline: June 14, 2024 ***

University of Twente
Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30SkfbeyFQNg$ 
*


Registrations are now open for CSF 2024, 37th IEEE Computer Security 
Foundations Symposium, which will take place between July 8-12 2024 at 
the U Parkhotel, located in the campus of the University of Twente in 
the Netherlands.


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security, to examine current 
theories of security, the formal models that provide a context for those 
theories, and techniques for verifying security. It was created in 1988 
as a workshop of the IEEE Computer Society's Technical Committee on 
Security and Privacy, in response to a 1986 essay by Don Good entitled 
“The Foundations of Computer Security—We Need Some.” The meeting became 
a “symposium” in 2007, along with a policy for open, increased 
attendance. Over the past two decades, many seminal papers and 
techniques have been presented first at CSF. For more details on the 
history of the symposium, visit CSF's home.


The program includes papers, panels, and a poster session. Topics of 
interest include access control, information flow, covert channels, 
cryptographic protocols, database security, language-based security, 
authorization and trust, verification techniques, integrity and 
availability models, and broad discussions concerning the role of formal 
methods in computer security and the nature of foundational research in 
this area.



REGISTRATION INSTRUCTIONS AND DEADLINES

See https://urldefense.com/v3/__https://csf2024.ieee-security.org/registration.html__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30SkePr1QUvQ$  for the 
registration instructions and fees.


Registration link: https://urldefense.com/v3/__https://www.aanmelder.nl/155183/registration__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30Skea7uc9Yg$ 


*** The early registration deadline is: June 14, 2024 ***


LOCATION

The conference will be held at the U Parkhotel, located in the campus of 
the University of Twente, Enschede, The Netherlands.


See https://urldefense.com/v3/__https://csf2024.ieee-security.org/venue.html__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30SkeJVsX-BA$  for further information 
on how to reach the conference venue.



ACCOMMODATION

Rooms have been reserved at the following hotels:

- U Parkhotel (the conference venue)
- Intercity Hotel (located in the city center of Enschede)

Further information on room rates and how to book them are available at:

https://urldefense.com/v3/__https://csf2024.ieee-security.org/accommodation.html__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30Skc5xT0Pag$ 



KEYNOTE SPEAKERS

- TBA


ACCEPTED PAPERS

The list of accepted papers is available here:

https://urldefense.com/v3/__https://csf2024.ieee-security.org/accepted.html__;!!IBzWLUs!Se0RcE8pJDvDLVNaGbb0q2ZMRt_SVZoMNzfFqSiUgHcVRwQYroOpeECmgE6WapPUMHXljtqvbHKWOJX55lzz3-eRGVuT6R1QogIkqc30Skcl09DjuQ$ 



GENERAL CHAIRS

- Kaitai Liang, TU Delft, The Netherlands
- Luca Mariot, University of Twente, The Netherlands


PROGRAM CHAIRS

- Toby Murray, University of Melbourne, Australia
- Tamara Rezk, INRIA, France


STEERING COMMITTEE

- Toby Murray (PCC 2024-25)
- Tamara Rezk (PCC 2023-24)
- Stefano Calzavara (PCC 2022-23)
- David Naumann (PCC 2021-22)
- Ralf Kuesters (PCC 2020-21, Publicity Chair)
- Kaitai Liang (GC 2024)
- Luca Mariot (GC 2024)
- Ante Đerek (GC 2021-23)
- Tajana Ban Kirigin (GC 2021-23)
- Marco Guarnieri (Publication Chair)
- Luca Viganò (Finance Chair)
- TCSP Chair/TCSP Vice Chair
- Andrei Sabelfeld (member at large)
- Limin Jia (member at large)
- Catalin Hritcu (member at large)
- Matteo Maffei (SC chair)


PROGRAM COMMITTEE

- Mário Alvim (UFMG - Universidade Federal de Minas Gerais)
- Timos Antonopoulos (Yale University)
- Arthur Azevedo de Amorim (Rochester Institute of Technology)
- Musard Balliu (KTH Royal Institute of Technology)
- Tajana Ban Kirigin (Faculty of Mathematics, University of Rijeka)
- Sébastien Bardin (CEA LIST, Université Paris-Saclay)
- Lennart Beringer (Princeton University)
- Abhishek Bichhawat (IIT Gandhinagar)
- Roberto Blanco

[TYPES/announce] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, 
Protect-IT'24  is now accepting submissions.


The workshop will be held in parallel with IEEE CSF 2024 in Enschede, 
Netherlands on July 8, 2024. For further details on the workshop and 
submissions please kindly refer to the workshop webpage or to the 
summary below.


https://urldefense.com/v3/__https://protectitworkshop.github.io/protectit-workshop.github.io/__;!!IBzWLUs!XjuJeR7BDt9jHdh7Uanx2qXqqwC6N-wxZbdhu33RtTj_tUsCt3A0nKG5JHdTXXTUVV9Q5rc3HCsNvTk6ntt4jhAV-aHtRcAFBrkfOa53HFAIN1-1TQ$ 


=

Protect-IT targets to attract studies on security and privacy for 
machine learning (ML) from an information-theoretic standpoint. Accuracy 
and efficiency of ML systems are ensured by employing large datasets 
which usually contain highly sensitive/personal information. This strong 
dependence on personal information jeopardizes the privacy and security 
of innocent Internet users who are contributing, knowingly or not, to 
these online statistical datasets. Protect-IT aims to bring the typical 
attendees of CSF, who have expertise on the theory of cryptography and 
(algorithmic) fairness together with researchers on information theory 
to study, develop, and evaluate privacy, security, and fairness attacks 
against ML along with defense strategies to counter them.
We put information theory at the heart of this endeavor and call for 
contributions grounded in information-theoretic concepts and principles, 
aiming to enrich preliminary research efforts and to achieve widespread 
adoption.


We will have two invited sessions that will be held by Josep 
Domingo-Ferrer from University of Rovira i Virgili and Jan Ramon from 
INRIA, Lille.  The workshop is currently planned as a full day event.


**SUBMISSION INSTRUCTIONS**

We welcome two types of submissions: extended abstracts and posters. 
Extended abstracts must be at most 4 pages long excluding references and 
adhere to the *CSF* *format*. We encourage submissions of work that is 
new to the community of data privacy, security and information theory in 
addition to submissions which are currently under review elsewhere or 
recently published in privacy and security venues. The workshop will 
*not* have formal proceedings, but authors of accepted abstracts can 
choose to publish their work on the workshop's webpage or to provide a 
link to arXiv.


**POSTER INSTRUCTIONS**
All accepted papers have a slot at the poster session. Please print your 
poster on size up to A0 (841 × 1189 mm) and bring it to the conference.


Submission deadline: May 04, 2024, 23:59 (Anywhere on Earth)
Notification of acceptance: June 04, 2024

More information may be found in the attached CFP flyer as well as on
the workshop's webpage.

Best regards,

Protect-IT'24 Organizers

[TYPES/announce] IEEE CSF 2024: Call for Workshops

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===
IEEE CSF 2024: Call for Workshops
===


The 37th IEEE Computer Security Foundation Symposium (CSF'24) will be 
hosted in Enschede, The Netherlands, July 8 - 12, 2024. The organizers 
have made arrangements to facilitate the running of workshops.


Researchers and practitioners are invited to submit proposals for 
workshops on topics related to computer security. Proposals should 
consist of two parts:


 1. a scientific part, which should include a short scientific
justification of the proposed topic, its significance, and the
particular benefits of the workshop to the CSF community. If
relevant, a list of previous or related workshops may be added; and
 2. an organizational part which should include:
  * contact information of the workshop organizers/chairs;
  * expected number of attendees;
  * proposed format and agenda (presentations, demo sessions,
tutorials, full-day, half-day, joint sessions, etc);
  * potential invited speakers;
  * procedures for selecting papers and participants;
  * plans for dissemination, if any (special issues of journals, etc);
  * special technical or AV needs.

Proposals are due by February 23, 2024, and should be submitted 
electronically via email to Musard Balliu (mus...@kth.se 
).


Organizers will be notified by March 1, 2024.

[TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkAIPjwIUzw$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkALBtROaNA$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!XUzC8N5AUsjwQ1aU9zzjTll5lQPF166Lxorl_fE7yxsvsR-gl3k1tsVJ8LRjKvUXWx_l1zx4ARIv-Oa-habs8bg5J0fP1Tv6k0Lue4MHkAIPjwIUzw$ 


for further information.

[TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

This is the final CFP for the fall cycle of IEEE CSF 2024.

Submission deadline: September 30, 2023.



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!QCVPogBTxzexwyoFOuwPz_NyC3Dsbu5d8emELTNHOmaVBQA8wLWeQtU5Tzt7hKiXJg23v1_nnkneCRoeQpt-Ahi3O1QgTTrfyHkZNdk8ulnZOsEHBQ$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!QCVPogBTxzexwyoFOuwPz_NyC3Dsbu5d8emELTNHOmaVBQA8wLWeQtU5Tzt7hKiXJg23v1_nnkneCRoeQpt-Ahi3O1QgTTrfyHkZNdk8ulmhJydKPw$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!QCVPogBTxzexwyoFOuwPz_NyC3Dsbu5d8emELTNHOmaVBQA8wLWeQtU5Tzt7hKiXJg23v1_nnkneCRoeQpt-Ahi3O1QgTTrfyHkZNdk8ulnZOsEHBQ$ 


for further information.

[TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!TlWnY5WBsrGwZPVxSei4JxN6ULuT07YsugYqh3e192joIaKhnklc9qYAuBV05zi7r57OSM0Py18irNXZvG71yqWB0iDxEuxBbpfPZQkWoYJDLnIHbA$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!TlWnY5WBsrGwZPVxSei4JxN6ULuT07YsugYqh3e192joIaKhnklc9qYAuBV05zi7r57OSM0Py18irNXZvG71yqWB0iDxEuxBbpfPZQkWoYK3zELZVQ$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!TlWnY5WBsrGwZPVxSei4JxN6ULuT07YsugYqh3e192joIaKhnklc9qYAuBV05zi7r57OSM0Py18irNXZvG71yqWB0iDxEuxBbpfPZQkWoYJDLnIHbA$ 


for further information.

[TYPES/announce] IEEE CSF 2023: final call for participation

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Register at

https://urldefense.com/v3/__https://csf2023.ieee-security.org/registration.html__;!!IBzWLUs!XUW2Mnw_CcmuFnZhHiNZIbFTjZUk6fFP8x36jgKzeWMA_gPIrTv5wbf5MmIdHWDZQeg9P8xWiJS1TTbqyUOt9dv3s_CKf8ztVyuO8e64iLXHAgXl-A$ 




The 36th IEEE Computer Security Foundations Symposium will take place in
Dubrovnik, Croatia from July 9 - 13, 2023.


The program is online

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2023/program.html__;!!IBzWLUs!XUW2Mnw_CcmuFnZhHiNZIbFTjZUk6fFP8x36jgKzeWMA_gPIrTv5wbf5MmIdHWDZQeg9P8xWiJS1TTbqyUOt9dv3s_CKf8ztVyuO8e64iLVyrNLkWA$ 


Invited talks by Shafi Goldwasser and George Danezis!

Registration is open.

https://urldefense.com/v3/__https://csf2023.ieee-security.org/registration.html__;!!IBzWLUs!XUW2Mnw_CcmuFnZhHiNZIbFTjZUk6fFP8x36jgKzeWMA_gPIrTv5wbf5MmIdHWDZQeg9P8xWiJS1TTbqyUOt9dv3s_CKf8ztVyuO8e64iLXHAgXl-A$ 


See the CSF 2023 web site for more information:

https://urldefense.com/v3/__https://csf2023.ieee-security.org/index.html__;!!IBzWLUs!XUW2Mnw_CcmuFnZhHiNZIbFTjZUk6fFP8x36jgKzeWMA_gPIrTv5wbf5MmIdHWDZQeg9P8xWiJS1TTbqyUOt9dv3s_CKf8ztVyuO8e64iLV1S7X_QA$ 

[TYPES/announce] IEEE CSF 2023: early bird registration ends soon

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===
Early bird registration before June 10th


https://urldefense.com/v3/__https://csf2023.ieee-security.org/registration.html__;!!IBzWLUs!XZ8c8m8hAvRYTAedJhs3KCpNz9iIF4AumP7xGgV0t_-NNlc83mYqD7dvE2cDmkxYPPWDfxBrTapJLLAP2i7WJZ7Y81oNBZkmtCBnc-PQFmy7xH24jw$ 
===



The 36th IEEE Computer Security Foundations Symposium will take place in 
Dubrovnik, Croatia from July 9 - 13, 2023.


The program is online

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2023/program.html__;!!IBzWLUs!XZ8c8m8hAvRYTAedJhs3KCpNz9iIF4AumP7xGgV0t_-NNlc83mYqD7dvE2cDmkxYPPWDfxBrTapJLLAP2i7WJZ7Y81oNBZkmtCBnc-PQFmy2obRqhQ$ 


Invited talks by Shafi Goldwasser and George Danezis!

Registration is open. Early bird registration before June 10th!

https://urldefense.com/v3/__https://csf2023.ieee-security.org/registration.html__;!!IBzWLUs!XZ8c8m8hAvRYTAedJhs3KCpNz9iIF4AumP7xGgV0t_-NNlc83mYqD7dvE2cDmkxYPPWDfxBrTapJLLAP2i7WJZ7Y81oNBZkmtCBnc-PQFmy7xH24jw$ 


See the CSF 2023 web site for more information:

https://urldefense.com/v3/__https://csf2023.ieee-security.org/index.html__;!!IBzWLUs!XZ8c8m8hAvRYTAedJhs3KCpNz9iIF4AumP7xGgV0t_-NNlc83mYqD7dvE2cDmkxYPPWDfxBrTapJLLAP2i7WJZ7Y81oNBZkmtCBnc-PQFmwf31Ry0Q$ 

[TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_j5VcGlvw$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_iWmsK1jA$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!RmcevHTJEZ7yQyFZR_6RFyBcdeCU8bIXCkkEkADI6t97d3SFjJAeoz2wGuy8AeaDdpphAZ0KPnpVLpEycrodMuyWnONdpqpL_YFrfNGmR_j5VcGlvw$ 


for further information.

[TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!SW9BM037nDpQcEwEGbzRIp-0An8lgWlYUkYgg27tMmf-9vTmLd-i498tNVFAVKNFkYjNPciCDsyhArn2w6nEAixEJX5NBV61843qJjarZcyUrg5eZA$ 




=
 CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!SW9BM037nDpQcEwEGbzRIp-0An8lgWlYUkYgg27tMmf-9vTmLd-i498tNVFAVKNFkYjNPciCDsyhArn2w6nEAixEJX5NBV61843qJjarZcxbifdvFQ$ 

This is the new CSF mailing list which replaces the former 
csf-attend...@mail-infsec.cs.uni-saarland.de mailing list.


Please subscribe to this new list to be up to date on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 15, 2023
Spring cycle author notificationJuly 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification  December 2, 2023

Winter cycle paper submission   February 3, 2024
Winter cycle author notificationApril 7, 2024

CSF Symposium   July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


See the conference website

https://urldefense.com/v3/__https://csf2024.ieee-security.org/__;!!IBzWLUs!SW9BM037nDpQcEwEGbzRIp-0An8lgWlYUkYgg27tMmf-9vTmLd-i498tNVFAVKNFkYjNPciCDsyhArn2w6nEAixEJX5NBV61843qJjarZcyUrg5eZA$ 


for further information.

[TYPES/announce] IEEE CSF 2023: Call for Workshops - proposals due by Feb 24, 2023

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The 36th IEEE Computer Security Foundation Symposium (CSF'23) will be
hosted in Dubrovnik, Croatia, July 9 - 13, 2023.

===  Call for Workshops - Important Dates AoE (UTC-12h)  ===
Proposals due:  February 24, 2023
Notification of Acceptance: March 3, 2023
Workshops date: July 9, 2023


Researchers and practitioners are invited to submit proposals for
workshops on topics related to computer security. Proposals should
consist of two parts:

1. A scientific part, which should include a short scientific
   justification of the proposed topic, its significance, and the
   particular benefits of the workshop to the CSF community. If
   relevant, a list of previous or related workshops may be added; and

2. an organizational part which should include:

 - contact information of the workshop organizers/chairs;
 - expected number of attendees;
 - proposed format and agenda (presentations, demo sessions,
   tutorials, full-day, half-day, joint sessions, etc);
 - potential invited speakers;
 - procedures for selecting papers and participants;
 - plans for dissemination, if any (special issues of journals, etc);
 - special technical or AV needs.

Proposals are due by *February 24, 2023*, and should be submitted
electronically via email to Musard Balliu (mus...@kth.se).

Organizers will be notified by March 3, 2023.

[TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023)

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



36th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2023
July 10 - 14, 2023 - Dubrovnik, Croatia

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2023/__;!!IBzWLUs!V6fyDijM3j7UYOrui5EvJawWWsDOFIo0XWoh4c8FNT-PRC1Oa1aSUvSyoMw66uP1S5SjzQmeQcj9MD5clPxnCTHCpfhRyEXJ4TXQOINJiihYI4_z5A$ 




=
 New CSF Mailing List (please subscribe) 
=

https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!V6fyDijM3j7UYOrui5EvJawWWsDOFIo0XWoh4c8FNT-PRC1Oa1aSUvSyoMw66uP1S5SjzQmeQcj9MD5clPxnCTHCpfhRyEXJ4TXQOINJiiiq1oX-lw$ 

This is the new CSF mailing list, which replaces the former list 
csf-attend...@mail-infsec.cs.uni-saarland.de.


Please subscribe to the new list to not miss out on important 
information in the field of computer security foundations.


=


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. CSF seeks papers on 
foundational aspects of computer security, such as formal security 
models, relationships between security properties and defenses, 
principled techniques and tools for design and rigorous analysis of 
security mechanisms, as well as their application to practice. While CSF 
welcomes submissions beyond the topics listed below, the main focus of 
CSF is foundational security and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.


Important Dates:

Spring cycle paper submission   May 13, 2022
Spring cycle author notificationJuly 15, 2022

Fall cycle paper submission September 30, 2022
Fall cycle author notification  December 2, 2022

*Winter cycle paper submission  February 3, 2023*
Winter cycle author notificationApril 7, 2023

CSF Symposium   July 10-14, 2023

TOPICS

New results in security and privacy are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security and privacy. Possible topics for all 
papers include, but are not limited to:


- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'23 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


SPECIAL SESSIONS

This year, we strongly encourage papers in three foundational areas of 
research we would like to promote at CSF by means of special sessions. 
Special sessions serve to identify selected research topics of 
particular interest to the community. Papers submitted to special 
sessions are expected to comply with the same requirements as other 
papers. This year, we have the following special sessions:


BLOCKCHAIN AND SMART CONTRACTS (Session Chairs: Matteo Maffei and Andrea 
Marin). Many challenges arise with the rapid development of the 
blockchain technology and its main application: smart contract. The need 
for formal foundations for the security and privacy of blockchains and 
smart contracts. We invite submissions on foundational work in this 
area. Topics include security and privacy issues, analysis and 
verification of existing solutions, design of new systems, broader 
foundational issues such as how 

[TYPES/announce] IEEE CSF 2022: Call for Participation - Early Bird Registration Ends Today!

[Ralf Kuesters]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The 35th IEEE Computer Security Foundations Symposium will be hosted at 
the Technion in Haifa, Israel as part of the Federated Logic Conference 
(FLOC 2022) during 7 – 10 August 2022, with affiliated workshops on 
August 11 and 12.



The program is online

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2022/program.html__;!!IBzWLUs!SxmgNpmBernry4w87cjtsBMssjF4aJGH3iSCovGvx7CpGipjjoOlMdaAd_3CWSUD28TFCVRWz2oDPWAaKNUyLkZt_4vE9y4V8fErEO-wL9IWrF8cBA$ 


Registration is open. Early bird registration ends today!

Registration is through FLOC 2022:

https://urldefense.com/v3/__https://www.floc2022.org/registration__;!!IBzWLUs!SxmgNpmBernry4w87cjtsBMssjF4aJGH3iSCovGvx7CpGipjjoOlMdaAd_3CWSUD28TFCVRWz2oDPWAaKNUyLkZt_4vE9y4V8fErEO-wL9KRnL30tA$ 



See the CSF 2022 web site for more information:

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2022/index.html__;!!IBzWLUs!SxmgNpmBernry4w87cjtsBMssjF4aJGH3iSCovGvx7CpGipjjoOlMdaAd_3CWSUD28TFCVRWz2oDPWAaKNUyLkZt_4vE9y4V8fErEO-wL9IESqsKkw$ 


Looking forward to an exciting conference!









--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!SxmgNpmBernry4w87cjtsBMssjF4aJGH3iSCovGvx7CpGipjjoOlMdaAd_3CWSUD28TFCVRWz2oDPWAaKNUyLkZt_4vE9y4V8fErEO-wL9I8Z2QmrQ$ 
Phone: +49 (0) 711 685 88283
___
CSF-attendees mailing list
csf-attend...@mail-infsec.cs.uni-saarland.de
https://mail-infsec.cs.uni-saarland.de/mailman/listinfo/csf-attendees
Unsubscribe: 
https://mail-infsec.cs.uni-saarland.de/mailman/options/csf-attendees/ralf.kuesters%40sec.uni-stuttgart.de?password=vuowibpe=1=1

[TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Institute of Information Security at University of Stuttgart offers

fully-funded Postdoc and PhD positions in formal verification.

Successful candidates are expected to carry out research on 
tool-supported formal verification methods for security-critical systems 
and security protocols in our new REPROSEC initiative 
(https://urldefense.com/v3/__https://reprosec.org/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nyrT8xLvw$ ). See, e.g., our work at ACM CCS 2021 and EuroS 
2021 on DY*.


The positions are available immediately with an internationally 
competitive salary (German public salary scale TV-L E13 or TV-L E14, 
depending on the candidate's qualification, ranging from about 4.000 
Euro to 6.200 Euro monthly gross salary).  The employment periods are 
between one and six years, following the German 
Wissenschaftszeitvertragsgesetz (WissZeitVg).


The Institute of Information Security offers a creative international 
environment for top-level international research in Germany's high-tech 
region.


You should have a Master's degree or a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Cyber Security, or 
a related field. We value excellent analytical skills and


- solid knowledge of logic, proofs and/or formal verification techniques 
(Theorem Proving, Type Checking, etc.), and

- solid programming experience.

Knowledge in cryptography/security is not required, but a plus. 
Knowledge of German is not required.


The University of Stuttgart is an equal opportunity employer. 
Applications from women are strongly encouraged. Severely challenged 
persons will be given preference in case of equal qualifications.


To apply, please send email with subject "Application: PhD/Postdoc 
Position in Formal Verification" and a single PDF file containing the 
following documents to ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your 
motivation to apply)

* Curriculum Vitae
* List of publications, if applicable
* Copies of transcripts and certificates (Bachelor, Master, and if 
applicable, PhD)

* Names of at least two references

The deadline for applications is

March 13th, 2022.

Late applications will be considered until the positions are filled.

See 
https://urldefense.com/v3/__https://sec.uni-stuttgart.de/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nz6hITu2Q$
  for more information about the institute.

See https://urldefense.com/v3/__https://www.sec.uni-stuttgart.de/institute/job-openings/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nzHGlMEJA$  for the 
official job announcement.


For further information please contact: Prof. Dr. Ralf Küsters, 
ralf.kuest...@sec.uni-stuttgart.de.


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2ny67YH4VA$ 
Phone: +49 (0) 711 685 88283

[TYPES/announce] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Institute of Information Security at University of Stuttgart offers

fully-funded Postdoc and PhD positions in formal verification.

Successful candidates are expected to carry out research on 
tool-supported formal verification methods for security-critical systems 
and security protocols in our new REPROSEC initiative 
(https://urldefense.com/v3/__https://reprosec.org/__;!!IBzWLUs!Fc7vmmR7YaZkgwYbe-vQa2le2Vs3ovRzwFO5LWpHUB2jPr_xZQ7Ne8BIW5oBzWAV9AEK7WVa3vUEGg$ ). See, e.g., our work at ACM CCS 2021 and EuroS 
2021 on DY*.


The positions are available immediately with an internationally 
competitive salary (German public salary scale TV-L E13 or TV-L E14, 
depending on the candidate's qualification, ranging from about 4.000 
Euro to 6.200 Euro monthly gross salary).  The employment periods are 
between one and six years, following the German 
Wissenschaftszeitvertragsgesetz (WissZeitVg).


The Institute of Information Security offers a creative international 
environment for top-level international research in Germany's high-tech 
region.


You should have a Master's degree or a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Cyber Security, or 
a related field. We value excellent analytical skills and


- solid knowledge of logic, proofs and/or formal verification techniques 
(Theorem Proving, Type Checking, etc.), and

- solid programming experience.

Knowledge in cryptography/security is not required, but a plus. 
Knowledge of German is not required.


The University of Stuttgart is an equal opportunity employer. 
Applications from women are strongly encouraged. Severely challenged 
persons will be given preference in case of equal qualifications.


To apply, please send email with subject "Application: PhD/Postdoc 
Position in Formal Verification" and a single PDF file containing the 
following documents to ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your 
motivation to apply)

* Curriculum Vitae
* List of publications, if applicable
* Copies of transcripts and certificates (Bachelor, Master, and if 
applicable, PhD)

* Names of at least two references

The deadline for applications is

December 12th, 2021.

Late applications will be considered until the positions are filled.

See 
https://urldefense.com/v3/__https://sec.uni-stuttgart.de/__;!!IBzWLUs!Fc7vmmR7YaZkgwYbe-vQa2le2Vs3ovRzwFO5LWpHUB2jPr_xZQ7Ne8BIW5oBzWAV9AEK7WUbb0Jrkw$
  for more information about the institute.

See https://urldefense.com/v3/__https://www.sec.uni-stuttgart.de/institute/job-openings/__;!!IBzWLUs!Fc7vmmR7YaZkgwYbe-vQa2le2Vs3ovRzwFO5LWpHUB2jPr_xZQ7Ne8BIW5oBzWAV9AEK7WUSA5JYJw$  for the 
official job announcement.


For further information please contact: Prof. Dr. Ralf Küsters, 
ralf.kuest...@sec.uni-stuttgart.de.

[TYPES/announce] Postdoc Position in Formal Verification

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Institute of Information Security at University of Stuttgart offers a

fully-funded Postdoc position in formal verification

The successful candidate is expected to work on tool-supported formal 
verification of security-critical systems and security protocols.


The position is available immediately with an internationally 
competitive salary (German public salary scale TV-L E13 or TV-L E14, 
depending on the candidate's qualification, ranging from about 4.600 
Euro to 6.200 Euro monthly gross salary).  The appointment period 
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging 
from one year to up to six years.


The Institute of Information Security offers a creative international 
environment for top-level international research in Germany's high-tech 
region.


The successful candidate should have a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Information 
Security, or a related field. We value strong analytical skills and


- solid knowledge of logic, proofs and/or formal verification techniques 
(Theorem Proving, Type Checking, etc.),

- solid programming experience.

Knowledge in security is not required, but a plus. Knowledge of German 
is not required.


The University of Stuttgart is an equal opportunity employer. 
Applications from women are strongly encouraged. Severely challenged 
persons will be given preference in case of equal qualifications.


To apply, please send email with subject "Application: Postdoc Position 
Formal Verification" and a single PDF file containing the following 
documents to ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your 
motivation to apply)

* Curriculum Vitae
* List of publications
* Copies of transcripts and certificates (Bachelor, Master, PhD)
* Names of at least two references

The deadline for applications is

October 31st, 2021.

Late applications will be considered until the position is filled.

See 
https://urldefense.com/v3/__https://sec.uni-stuttgart.de/__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIPpW48uow$
  for more information about the institute.

See https://urldefense.com/v3/__https://www.sec.uni-stuttgart.de/institute/job-openings/__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIN7yBIyHw$  for the 
official job announcement.


For further information please contact: Prof. Dr. Ralf Küsters, 
ralf.kuest...@sec.uni-stuttgart.de.


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIP-YlExvA$ 
Phone: +49 (0) 711 685 88283

[TYPES/announce] CFP: IEEE CSF 2022 - Fall Cycle (Submission Deadline: Oct 1st)

[Ralf Kuesters]

, 
and formal analysis of smart contracts.


- CRYPTOGRAPHY (Session Chair: Ralf Kuesters). Cryptography is at the 
heart of many security- and privacy-critical systems. As such it is an 
integral part of the field of security and privacy. While modern 
cryptography is built on firm theoretical foundations, new applications 
frequently need new cryptographic solutions, new security definitions, 
models, and proof techniques and tools. We invite submissions in this 
area. Topics include, but are not limited to, the design and analysis of 
cryptographic protocols, new cryptographic frameworks and proof 
techniques, including composability as well as automated, tool-supported 
analysis and verification of cryptographic primitives and protocols.


These papers will be reviewed under the supervision of the special 
session chairs. They will be presented at the conference, and will 
appear in the CSF proceedings, without any distinction from the other 
papers.


PROGRAM CHAIRS
Stefano Calzavara (University of Venice)
David Naumann (Stevens Institute of Technology)

PROGRAM COMMITTEE
Mario Alvim (Federal University of Minas Gerais)
Myrto Arapinis (University of Edinburgh)
Owen Arden (UC Santa Cruz)
Aslan Askarov (Aarhus University)
Musard Balliu (KTH Royal Institute of Technology)
Manuel Barbosa (University of Porto)
Lennart Beringer (Princeton University)
Karthikeyan Bhargavan (INRIA)
Abhishek Bichhawat (Carnegie Mellon University)
Roberto Blanco (Max Planck Institute)
Tegan Brennan (Stevens Institute of Technology)
Yinzhi Cao (Johns Hopkins University)
Tom Chotia (University of Birmingham)
Véronique Cortier (LORIA/INRIA)
Geoffroy Couteau (CNRS IRIF)
Stéphanie Delaune (IRISA)
Francois Dupressoir (University of Bristol)
Michael Emmi (AWS)
Marc Fischlin (TU Darmstadt)
Riccardo Focardi (Ca' Foscari University)
Marco Guarnieri (IMDEA)
Joshua Guttman (MIT Lincoln Labs)
Charlie Jacomme (CISPA)
Aniket Kate (Purdue University)
Boris Kopf (Microsoft Research)
Elisavet Kozyri (Harvard University)
Robert Künnemann (CISPA)
Ralf Küsters (University of Stuttgart)
Peeter Laud (Cybernetica AS)
Giovanni Livraga (University of Milan, Statale)
Heiko Mantel (TU Darmstadt)
Sebastian Mödersheim (Technical University of Denmark)
Johannes Müller (University of Luxembourg)
Toby Murray (University of Melbourne)
Sabine Oechsner (University of Edinburgh)
Catuscia Palamidessi (INRIA)
Frank Piessens (KU Leuven)
Jonathan Protzenko (Microsoft Research)
Francesco Ranzato (University of Padua)
Aseem Rastogi (Microsoft Research India)
Andrei Sabelfeld (University of Chalmers)
Ralf Sasse (ETH Zurich)
Clara Schneidewind (Max Planck Institute)
Dominique Schröder (FAU Erlangen-Nürnberg)
Pierre-Yves Strub (École Polytechnique)
Tachio Terauchi (Waseda University)
Alwen Tiu (Australian National University)
Mayank Varia (Boston University)


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!CyF3HCqoPM2HaAMAcYA7U8LPvi_jIx1j5pDHKFx5yvHXr_6_Zob7H-P0cNA21kCFoIY5GunIigN8ow$ 
Phone: +49 (0) 711 685 88283

[TYPES/announce] Postdoc Position in Formal Verification

[Ralf Kuesters]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Institute of Information Security at University of Stuttgart offers a

fully-funded Postdoc position in formal verification

The successful candidate is expected to work on tool-supported formal 
verification of security-critical systems and security protocols.


The position is available immediately with an internationally 
competitive salary (German public salary scale TV-L E13, or TV-L E14, 
depending on the candidate's qualification, ranging from about 4.600 
Euro to 6.200 Euro monthly gross salary).  The appointment period 
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging 
from one year to up to six years.


The Institute of Information Security offers a creative international 
environment for top-level international research in Germany's high-tech 
region.


The successful candidate should have a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Information 
Security, or a related field. We value strong analytical skills and


- solid knowledge of logic, proofs and/or formal verification techniques 
(Theorem Proving, Type Checking, etc.),

- solid programming experience.

Knowledge in security is not required, but a plus. Knowledge of German 
is not required.


The University of Stuttgart is an equal opportunity employer. 
Applications from women are strongly encouraged. Severely challenged 
persons will be given preference in case of equal qualifications.


To apply, please send email with subject "Application: Postdoc Position 
Formal Verification" and a single PDF file containing the following 
documents to ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your 
motivation to apply)

* Curriculum Vitae
* List of publications
* Copies of transcripts and certificates (Bachelor, Master, PhD)
* Names of at least two references

The deadline for applications is

August 1st, 2021.

Late applications will be considered until the position is filled.

See https://sec.uni-stuttgart.de/ for more information about the institute.

See https://www.sec.uni-stuttgart.de/institute/job-openings/ for the 
official job announcement.


For further information please contact: Prof. Dr. Ralf Küsters, 
ralf.kuest...@sec.uni-stuttgart.de.


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://sec.uni-stuttgart.de
Phone: +49 (0) 711 685 88283

[TYPES/announce] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany

[Ralf Kuesters]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Institute of Information Security at University of Stuttgart offers a

fully-funded Postdoc position.

The successful candidate is expected to work on tool-supported formal
analysis of cryptographic protocols and web applications building, among
others, on our work published at EuroS 2021, S 2019, CSF 2017, CCS
2016, CCS 2015, ESORICS 2015, and S 2014. One goal is to provide
tool-supported security analysis based on DY* for our web infrastructure
model (WIM).

The position is available immediately with an internationally
competitive salary (German public salary scale TV-L E13 or TV-L E14,
depending on the candidate's qualification).  The appointment period
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging
from one year to up to six years.

The Institute of Information Security offers a creative international
environment for top-level international research in Germany's high-tech
region.

The successful candidate should have a Ph.D. (or should be very close to
completion thereof) in Computer Science, Mathematics, Information
Security, or a related field. We value strong analytical skills.
Knowledge in one or more of the following fields is an asset:

 - Formal Methods (Verification, Theorem Proving, F*, Type Checking, etc.)
 - Security Protocol Analysis
 - Web Security

Knowledge of German is not required.

The University of Stuttgart is an equal opportunity employer.
Applications from women are strongly encouraged. Severely challenged
persons will be given preference in case of equal qualifications.

To apply, please send email with subject "Application: Postdoc Position"
and a single PDF file containing the following documents to
ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your
motivation to apply)
* Curriculum Vitae
* List of publications
* Copies of transcripts and certificates (Bachelor, Master, PhD)
* Names of at least two references

The deadline for applications is

July 4th, 2021

Late applications will be considered until the position is filled.

See https://sec.uni-stuttgart.de/ for more information about the institute.

See https://www.sec.uni-stuttgart.de/institute/job-openings/ for the
official job announcement.

For further information please contact: Prof. Dr. Ralf Küsters,
ralf.kuest...@sec.uni-stuttgart.de.

-- 
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://sec.uni-stuttgart.de
Phone: +49 (0) 711 685 88283