We are writing to announce a new 4 year research program "Fuzz Testing"
which will run 1 July 2023 - 30 June 2027. The research program is
funded by the National Research Foundation (NRF) Singapore. The
research program is in the area of fuzz testing for effectively
detecting software vulnerabilities.
Details of the research program can be obtained from this webpage
*https://nus-tss.github.io/fuzzing/*
We have open positions for post-doc. You are welcome to apply with your
…
[View More]CV to /neocy(a)nus.edu.sg/ or simply get in touch with any of the
Principal Investigators --
Zhenkai Liang, Umang Mathur, Manuel Rigger, and Abhik Roychoudhury (Lead
Principal Investigator).
NUS provides an engaging work environment, with stimulating colleagues,
lot of visitors, and good work-life balance. Salaries for the positions
are also very competitive. Applicants who have submitted their PhD
thesis but have not received the degree yet, are also eligible to be
appointed as post doc. Hence any applicants with relevant research
background, who are close to submitting their PhD thesis, are eligible
to apply.
Kind regards
//
--
-Abhik Roychoudhury
School of Computing
National University of Singapore
https://abhikrc.com
[View Less]
-------- Forwarded Message --------
Subject: Open PhD and Postdoc positions in Formal Analysis of
Autonomous Systems at Chalmers University
Date: Thu, 27 Jul 2023 12:58:12 +0200
From: Hazem Torfah <torfah(a)berkeley.edu>
Dear colleagues,
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers
University has openings for two PhD positions and a PostDoc position in
Formal Analysis of Autonomous Systems. We are looking for candidates
interested in developing formal …
[View More]techniques and tools for the
construction of provably-safe and -reliable learning-enabled autonomous
systems.
Please pass this information on to potential candidates. It would be
great if you could also share this information within your network. The
announcements for the positions are linked below:
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…
<https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…>
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…
<https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=jo…>
Application deadline: Sep 1, 2023
Many thanks!
Kindest regards,
Hazem Torfah
--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
412 96 Gothenburg, Sweden
[View Less]
----- Forwarded message from Mandayam Srivas <mksrivas(a)hotmail.com> -----
From: Cristina David <cristina.david(a)gmail.com>
Sent: Monday, July 24, 2023 1:13 PM
To: Mandayam Srivas <mksrivas(a)hotmail.com>
Subject: Re: Lecturer in Programming Languages at Bristol
Dear Srivas,
It was very nice seeing you at CAV!
I'm not sure whether I mentioned this at the conference, but we are recruiting a new lecturer in the Programming Languages group (https://www.bristol.ac.uk/jobs/…
[View More]find/details/?jobId=316176&jobTitle=Lecturer…).
This is the ad (unfortunately, the deadline is very soon):
https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer…
I'd really appreciate it if you could send it to anyone that might be interested.
Thank you,
Cristina
----- End forwarded message -----
[View Less]
----- Forwarded message from Vishwas Patil <vishwasp(a)cse.iitb.ac.in> -----
Date: Sat, 22 Jul 2023 03:56:18 +0530
From: Vishwas Patil <vishwasp(a)cse.iitb.ac.in>
Due to several requests for a deadline extension, we have extended the
submission deadline to August 10 (the final deadline).
Please consider submitting your security research to ICISS 2023.
Key highlights:
- Double-blind review
- Notification of results: September 20, 2023
- One best paper award
- 2 Keynotes, 1 …
[View More]invited talk (Sanjam Garg - UC Berkeley, Nishanth Chandran -
MS Research, Thomas Silkjaer - XRP Ledger Foundation)
- Proceedings by Springer LNCS
- the possibility of an invitation to publish extended versions in the Sadhana
journal
______________________________________________________________________
CALL FOR PAPERS
ICISS 2023
19th International Conference on Information Systems Security
(December 16 - 20, 2023)
NIT Raipur, India
https://iciss.isrdc.in
@IcissConf
Submission Deadline: August 10, 2023 (final deadline)
______________________________________________________________________
The 19th ICISS will be held at the National Institute of Technology
(NIT) Raipur between December 16 and 20, 2023. This annual conference
provides a forum for researchers and industry practitioners of
security to present their cutting-edge research and use case
experiences. We solicit previously unpublished technical papers in the
field of Security & Privacy. Papers that involve innovative solutions,
usability studies, longitudinal studies, industrial use cases, and SoK
are welcome.
This year, we will also accept PoCs of security applications under a
separate demo track and allow submission of artefacts; a separate call
is announced on the conference website. A broad but non-exhaustive
list of topics of interest is as below:
SYSTEMS SECURITY
OS, VM, containers, cloud
Network: SDN, NFV, SD-WAN
IoT, RFID, SCADA systems
Communication Protocols
IDS, IPS, SIEM, XDR, etc
Honeypot, Botnet, etc
ACCESS CONTROL
Authentication, MFA
Authorization model/policy
PKI & Trust management
Information flow control
APPLICATION SECURITY
Vulnerabilities, DevSecOps
API security, WAF, OWASP
Static/Binary analysis, Zero trust
Malware, Ransomware, APTs
SECURITY IN AI/ML
Adversarial learning/inputs
Bias, fairness, explainability
Model stealing, poisoning
Trustworthiness
Deep fakes, misinformation
HARDWARE SECURITY
Remote attestation, PUFs
Trojans, Backdoors, FPGA
TEE, TRNG, 2FA, wallets
PRIVACY
PETs, anonymization tech
Deidentification attacks
Surveillance & Censorship
Inference, correlation
BLOCKCHAIN
Cryptocurrency, stablecoins
Interoperability, scalability
Smart contracts, concurrency
DIDs, NFTs, CBDCs, AML
EMERGING TECH/STANDARDS
ChatGPT, LaMDA, Dall-E 2, et al
Security-by-design, SBOM
Privacy-by-design, STIX/TAXII
S&P USE CASES
e-voting, e-gov, smart cities
COVID-19 contact tracing
OSINT et al
Submissions must be written in English and should not exceed 20 pages;
including the bibliography and appendices. Authors must use the LNCS
template to create the manuscript. A DOUBLE-BLIND review process will be
followed, therefore the manuscripts should not have author names,
affiliations, acknowledgements, self-references or any indirect
information related to the authors of the manuscript. Please read the
submission guidelines carefully before submitting to ICISS. The
extended versions of a select few accepted papers will be invited for
publication in the Indian Academy of Sciences' journal
Sadhana. Further details will be made available on the conference
website in due course of time.
Submission Link: https://easychair.org/conferences/?conf=iciss20231
*** The BEST PAPER award is sponsored by IDRBT Hyderabad. ***
Important Dates (in AoE):
Submission deadline: Aug 10 (final deadline)
Acceptance notification: Sep 20
Camera-ready deadline: Sep 30
Steering Committee:
Venu Govindaraju, University of Buffalo
Sushil Jajodia, George Mason University
Somesh Jha, University of Wisconsin
Atul Prakash, University of Michigan
Pierangela Samarati, University of Milan
RK Shyamasundar, IIT Bombay
General Chair:
R.K. Shyamasundar, IIT Bombay
Program Chairs:
Vallipuram Muthukkumarasamy, Griffith University
Sithu D Sudarsan, CDAC Bangalore
Related Links:
Conference Website: https://iciss.isrdc.in
Past Proceedings: https://dblp.org/db/conf/iciss
Call for Papers/Tutorials/PhD Forum
https://iciss.isrdc.in/cfps/https://iciss.isrdc.in/tutorials/https://iciss.isrdc.in/phd-forum/
Submission Guidelines
https://iciss.isrdc.in/submission-guidelines/
Proceedings will be published by Springer as LNCS.
______________________________________________________________________
----- End forwarded message -----
[View Less]
Dear colleague,
As you may know, FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science in association with ACM India. It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology.
This year, co-located with the main FSTTCS conference, IARCS is also organizing the Workshop on Research Highlights …
[View More]in Programming Languages (RHPL@FSTTCS), whose inaugural edition was held in 2020. The focus of the workshop will be on all areas of Programming Languages, including but not limited to Program Analysis and Verification, Applied Formal Methods, and Compilers.
The objective of the workshop is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods.
We solicit talk proposals for recent work that has been published in good venues, or is mature in terms of approach and evaluation. More information about the workshop and about submitting talk proposals is available here:
https://fmindia.cmi.ac.in/rhpl/index.html
We look forward to receiving your talk proposals to this workshop.
On Behalf of the RHPL@FSTTCS workshop organizing committee:
Deepak D'Souza (IISc Bangalore)
Uday Khedker (IIT Bombay)
Kumar Madhukar (IIT Delhi) (Organizing Co-Chair, RHPL 2023)
Kartik Nagar (IIT Madras) (Organizing Co-Chair, RHPL 2023)
Ganesan Ramalingam (Microsoft)
Aseem Rastogi (Microsoft Research, Bangalore)
Abhik Roychoudhury (National University of Singapore)
Abhisekh Sankaran (Tata Consultancy Services Research, Pune)
[View Less]
Dear all,
The next talk in the IARCS Verification Seminar Series will be given by
Shaz Qadeer, an ACM Fellow, currently employed as a software engineer in
the Core Infrastructure department at Meta. The talk is scheduled on
Tuesday, July 11, at 1900 hrs IST (add to Google calendar
<https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MHF2OTJoMm…>
).
The details of the talk can be found on our webpage (
https://fmindia.cmi.ac.in/vss/), and also appended to the body of …
[View More]this
email.
The Verification Seminar Series, an initiative by the Indian Association
for Research in Computing Science (IARCS), is a monthly, online
talk-series, broadly in the area of Formal Methods and Programming
Languages, with applications in Verification and Synthesis. The aim of this
talk-series is to provide a platform for Formal Methods researchers to
interact regularly. In addition, we hope that it will make it easier for
researchers to explore newer problems/areas and collaborate on them, and
for younger researchers to start working in these areas.
All are welcome to join.
Best regards,
Akash, Deepak, Madhukar, Srivathsan
=============================================================
Title: Verification of Concurrent Programs with Civl
Meeting Link:
https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09
(Meeting ID: 891 6409 4870, Passcode: 082194)
Abstract:
The Civl verifier <https://civl-verifier.github.io/> introduces layered
refinement, a new approach to the construction of verified concurrent
programs and their proofs. This approach simplifies and scales (human and
automated) reasoning by enabling a concurrent program to be represented and
manipulated at multiple layers of abstraction. These abstraction layers are
chained together via simple program transformations; each transformation is
justified by a collection of automatically-checked verification conditions.
Civl proofs are maintainable and reusable, specifically eliminating the
need to write complex invariants on the low-level encoding of the
concurrent program as a flat transition system. Civl has been used to
construct verified low-level implementations of complex systems such as a
concurrent garbage collector, a consensus protocol, and shared-memory data
structures.
Bio: Shaz Qadeer is an ACM Fellow. His research focuses on practical tools
for the construction of verified concurrent and distributed systems. He is
currently employed as a software engineer in the Core Infrastructure
department at Meta.
[View Less]
----- Forwarded message from Vishwas Patil <vishwasp(a)cse.iitb.ac.in> -----
Date: Thu, 06 Jul 2023 05:07:15 +0530
From: Vishwas Patil <vishwasp(a)cse.iitb.ac.in>
**ICISS 2023 CFP ANNOUNCEMENT**
ICISS 2023 is accepting submissions under various tracks.
Please consider submitting your security research to ICISS 2023.
Key highlights:
- first submission deadline: July 20,
- double-blind review,
- best paper award,
- proceedings published by Springer LNCS,
- the possibility of an …
[View More]invitation to exceptionally good papers to be
submitted to the Sadhana journal,
- please visit the conference website for further details
https://iciss.isrdc.in
______________________________________________________________________
CALL FOR PAPERS
ICISS 2023
19th International Conference on Information Systems Security
(December 16 - 20, 2023)
NIT Raipur, India
https://iciss.isrdc.in
Submission Deadline: July 20, 2023 (first deadline)
______________________________________________________________________
The 19th ICISS will be held at the National Institute of Technology
(NIT) Raipur between December 16 and 20, 2023. This annual conference
provides a forum for researchers and industry practitioners of
security to present their cutting-edge research and use case
experiences. We solicit previously unpublished technical papers in the
field of Security & Privacy. Papers that involve innovative solutions,
usability studies, longitudinal studies, industrial use cases, and SoK
are welcome.
This year, we will also accept PoCs of security applications under a
separate demo track and allow submission of artefacts; a separate call
is announced on the conference website. A broad but non-exhaustive
list of topics of interest is as below:
SYSTEMS SECURITY
OS, VM, containers, cloud
Network: SDN, NFV, SD-WAN
IoT, RFID, SCADA systems
Communication Protocols
IDS, IPS, SIEM, XDR, etc
Honeypot, Botnet, etc
ACCESS CONTROL
Authentication, MFA
Authorization model/policy
PKI & Trust management
Information flow control
APPLICATION SECURITY
Vulnerabilities, DevSecOps
API security, WAF, OWASP
Static/Binary analysis, Zero trust
Malware, Ransomware, APTs
SECURITY IN AI/ML
Adversarial learning/inputs
Bias, fairness, explainability
Model stealing, poisoning
Trustworthiness
Deep fakes, misinformation
HARDWARE SECURITY
Remote attestation, PUFs
Trojans, Backdoors, FPGA
TEE, TRNG, 2FA, wallets
PRIVACY
PETs, anonymization tech
Deidentification attacks
Surveillance & Censorship
Inference, correlation
BLOCKCHAIN
Cryptocurrency, stablecoins
Interoperability, scalability
Smart contracts, concurrency
DIDs, NFTs, CBDCs, AML
EMERGING TECH/STANDARDS
ChatGPT, LaMDA, Dall-E 2, et al
Security-by-design, SBOM
Privacy-by-design, STIX/TAXII
S&P USE CASES
e-voting, e-gov, smart cities
COVID-19 contact tracing
OSINT et al
Submissions must be written in English and should not exceed 20 pages;
including the bibliography and appendices. Authors must use the LNCS
template to create the manuscript. DOUBLE-BLIND review process will be
followed, therefore the manuscripts should not have author names,
affiliations, acknowledgements, self-references or any indirect
information related to authors of the manuscript. Please read the
submission guidelines carefully before submitting to ICISS. The
extended versions of a select few accepted papers will be invited for
publication in the Indian Academy of Sciences' journal
Sadhana. Further details will be made available on the conference
website in due course of time.
Submission Link: https://easychair.org/conferences/?conf=iciss20231
*** The BEST PAPER award is sponsored by IDRBT Hyderabad. ***
Important Dates (in AoE):
Submission deadline: July 20 (first deadline)
Acceptance notification: Sep 15
Camera-ready deadline: Sep 25
Steering Committee:
Venu Govindaraju, University of Buffalo
Sushil Jajodia, George Mason University
Somesh Jha, University of Wisconsin
Atul Prakash, University of Michigan
Pierangela Samarati, University of Milan
RK Shyamasundar, IIT Bombay
General Chair:
R.K. Shyamasundar, IIT Bombay
Program Chairs:
Vallipuram Muthukkumarasamy, Griffith University
Sithu D Sudarsan, CDAC Bangalore
Related Links:
Conference Website: https://iciss.isrdc.in
Past Proceedings: https://dblp.org/db/conf/iciss
Call for Papers/Tutorials/PhD Forum
https://iciss.isrdc.in/cfps/https://iciss.isrdc.in/tutorials/https://iciss.isrdc.in/phd-forum/
Submission Guidelines
https://iciss.isrdc.in/submission-guidelines/
Proceedings will be published by Springer as LNCS.
______________________________________________________________________
Contact: ivishwas(a)gmail.com
______________________________________________________________________
--
Vishwas Patil
Sr Research Scientist, IIT Bombay
https://www.cse.iitb.ac.in/~vishwasp/
----- End forwarded message -----
[View Less]
Dear all,
The next talk in the IARCS Verification Seminar Series will be given by
Shaz Qadeer, an ACM Fellow, currently employed as a software engineer in
the Core Infrastructure department at Meta. The talk is scheduled on
Tuesday, July 11, at 1900 hrs IST (add to Google calendar
<https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MHF2OTJoMm…>
).
The details of the talk can be found on our webpage (
https://fmindia.cmi.ac.in/vss/), and also appended to the body of …
[View More]this
email.
The Verification Seminar Series, an initiative by the Indian Association
for Research in Computing Science (IARCS), is a monthly, online
talk-series, broadly in the area of Formal Methods and Programming
Languages, with applications in Verification and Synthesis. The aim of this
talk-series is to provide a platform for Formal Methods researchers to
interact regularly. In addition, we hope that it will make it easier for
researchers to explore newer problems/areas and collaborate on them, and
for younger researchers to start working in these areas.
All are welcome to join.
Best regards,
Akash, Deepak, Madhukar, Srivathsan
=============================================================
Title: Verification of Concurrent Programs with Civl
Meeting Link:
https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09
(Meeting ID: 891 6409 4870, Passcode: 082194)
Abstract:
The Civl verifier <https://civl-verifier.github.io/> introduces layered
refinement, a new approach to the construction of verified concurrent
programs and their proofs. This approach simplifies and scales (human and
automated) reasoning by enabling a concurrent program to be represented and
manipulated at multiple layers of abstraction. These abstraction layers are
chained together via simple program transformations; each transformation is
justified by a collection of automatically-checked verification conditions.
Civl proofs are maintainable and reusable, specifically eliminating the
need to write complex invariants on the low-level encoding of the
concurrent program as a flat transition system. Civl has been used to
construct verified low-level implementations of complex systems such as a
concurrent garbage collector, a consensus protocol, and shared-memory data
structures.
Bio: Shaz Qadeer is an ACM Fellow. His research focuses on practical tools
for the construction of verified concurrent and distributed systems. He is
currently employed as a software engineer in the Core Infrastructure
department at Meta.
[View Less]
International Conference on Microservices: Call for Papers
==========================================================
Fifth International Conference on Microservices
October 10th-12th 2023, Pisa, Italy
https://www.conf-micro.services/2023/
Important Dates (EXTENDED)
---------------
- Submission deadline : July 09th, 2023 (AoE) (extended)
- Notification to authors: July 19th, 2023 (AoE) (extended)
- Camera-ready due: July 30th, 2023 (AoE)
- Early bird registration until: July …
[View More]30th, 2023 (AoE)
- October 10th-12th, 2023
Theme and Topics
----------------
Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved resilience to failures. Additionally, microservices allow for faster and more efficient development, as well as better collaboration between cross-functional teams. As the technology landscape continues to evolve and become more complex, the importance of microservices in building modern, scalable, and effective applications cannot be overstated.
The 5th International Conference on Microservices (Microservices 2023) seeks contributions from both industry and academia covering all aspects and phases of the design and implementation of microservice architectures, as well as experiences based on daily working with them. Topics of interests include, but are not limited to, the following:
- Software engineering methods for microservices, specifically (but not limited to) agile service design practices, behavior- and domain-driven design
- Formal models for microservices
- Programming languages, notations, and techniques for microservices
- Verification (both static and runtime) of microservice systems
- Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development
- DevOps for microservices, in particular (but not limited to) continuous deployment and distributed monitoring
- Microservices in the context of development, security, and operations (DevSecOps)
- Secure by design in the context of Microservices
- Microservice operation and contributor analysis
- Microservice management: fault, configuration, accounting/cost, performance, security
- Co-change and change impact analysis
- Discovery/recovery and reverse engineering of microservices solutions
- Microservice evolution
- Global governance for microservices
- Methodologies for identification, specification, and realization of candidate services
- Patterns for cloud-native application architectures; service API design and management
- Microservices infrastructure components: API gateways, side cars, and service meshes; reactive messaging brokers; service registries; service containers and cluster managers; infrastructure as code
- Function-as-a-service and serverless cloud offerings; service-based event sourcing and data streaming architectures
- Security and other service quality concerns (consistency, availability, recoverability) in microservices; dealing with General Data Protection Regulation (GDPR) compliance and other data privacy requirements Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development Internet technologies: services, human interactions, data analytics and AI for IoT, architecture things centric, sensor networks, security, privacy, applications
- AI and Microservices (including Datasets, Open-source technology)
- Cyber-physical Systems: AI/ML applications, security
- Industrial case studies and applications: Data Science/Big Data, Smart Industry, Healthcare, Government, Manufacturing, Logistics and Supply Chain Management
- Empirical studies of microservices adoption
- Case Studies and Surveys on the topic of Microservices
- Sustainable practices in the Microservices community
- Education about Microservices technologies
Submissions Guidelines
----------------------
A submission should describe a talk to be given at the conference in the form of extended abstracts with a maximum of two pages for talks from industry and six pages for academic presentations (including references). Submissions can be based on work in progress, scientific work published or submitted for publication, practical experience reports, or practical tool demonstrations. They must further be prepared using the TBA template, be in PDF format, printable in black and white on A4 paper, and interpretable by common PDF tools. Submissions must be in English.
Contributions may be submitted via TBA. The submission deadline is June 25th, 2023 AoE. Resubmissions are allowed until the submission deadline.
Contributions will be reviewed and selected by the Program Committee. Extended abstracts of accepted contributions will be available electronically before the conference. Selected contributions will be invited to submit manuscripts based on their abstracts for conference post-proceedings.
Organisation
------------
General Chair:
Antonio Brogi, University of Pisa (IT)
Program Chairs:
Tomas Cerny, Baylor University (US)
Valentina Lenarduzzi, University of Oulu (FI)
Jacopo Soldani, University of Pisa (IT)
Industrial Liaison Chair:
Claudio Guidi, italianaSoftware (IT)
Publicity Chair:
Alessandro Bocci, University of Pisa (IT)
Philip Wizenty, University of Applied Sciences and Arts Dortmund (DE)
Local Chairs:
Stefano Forti, University of Pisa (IT)
Steering Committee
-----------------
Giulio Manzonetto, Université Sorbonne Paris Nord
Fabrizio Montesi, University of Southern Denmark
Sabine Sachweh, University of Applied Sciences and Arts Dortmund
Program Committee
-----------------
Amr S. Abdelfattah, Baylor University (USA)
Nour Ali, Brunel University London (UK)
Carlo Aliprandi, Extra RED (IT)
Hernán Astudillo, Universidad Técnica Federico Santa Maria (CL)
Luciano Baresi, Politecnico di Milano (IT)
Justus Bogner, University of Stuttgart (DE)
Andrea Janes, Vorarlberg University of Applied Science (AT)
Ivan Lanese, University of Bologna (IT)
Pavas Navaney, Oracle (USA)
Phu Nguyen, SINTEF (NO)
Claus Pahl, Free University of Bozen-Bolzano (IT)
Florian Rademacher, RWTH Aachen University (DE)
Larisa Safina, INRIA (FR)
Davide Taibi, University of Oulu (FI)
Pavel Tisnovsky, Red Hat (USA)
Nabil El Ioini, The University of Nottingham (MY)
Richard Lipka, University of West Bohemia (CZ)
Muhammad Waseem, University of Jyväskylä (FI)
Contact Information
-------------------
Please contact us if you have questions: https://www.conf-micro.services/2023/contact/
[View Less]