ACM SIGCOMM 2022, Amsterdam, The Netherlands

Workshop on Formal Foundations and Security of Programmable network INfrastructures (FFSPIN)

Call for Papers

The Internet was not designed with a secure foundation. However, as more and more applications rely on secure network services, the importance of network security has grown significantly. Looking forward, studying the security of networks and networked systems will become a first-class design goal. In tandem, the study of formal methods for the rigorous design and verification of networks takes increased relevance towards avoiding network failures and enabling the construction of correct-by-design networks. Up until recently, one hindrance in designing secure and correctly functioning networks was that the Internet was very hard to change. Networking devices used to be “blackboxes”, and only the switch vendors can decide what goes into these boxes. Despite multiple proposals to enhance Internet/network security, many of these useful designs lacked formal specification and verification, or could not be easily integrated into the operational network without a forklift change.

Recently, a new opportunity is on the horizon---networking hardware is becoming programmable. The networking community has already leveraged this to design a range of new systems and capabilities “in-network”, but we argue that it is important to rethink network security, specification, and verification in light of this trend as well.

The 3rd FFSPIN workshop (a joint effort between the previous SPIN and FoFoSDN workshops) aims to provide a forum for the community to come together and rethink fundamental questions in programmable networks and Internet security. In this workshop, we are soliciting papers that examine the security implications and formal foundations of the trend of network programmability, particularly in the recent development of programmable data planes. We seek contributions on early ideas in these areas, position papers that outline next steps in network security, as well as preliminary papers from ongoing projects that could benefit from early community feedback. The workshop seeks to bring together experts in networking, security, hardware, formal specification and verification, programming languages, and systems, with the goal of reexamining opportunities for programmable networks in the next generation.

Topics of Interest

Topics of interest include, but are not limited to:

  • Security applications of programmable networking hardware (e.g., programmable switches, smartNICs)
  • Security applications of network function virtualization
  • Privacy-preserving programmable communication networks
  • The security risks of programmable networking hardware
  • Intrusion and anomaly detection and prevention
  • Denial-of-service attacks and countermeasures
  • Deployable or backward-compatible designs for network security
  • Architectural support for Internet/network security
  • Role of programmable optics for network security
  • Cross-layer programmability and software-defined infrastructures for network security
  • Policies for Internet security
  • New environments that require network programmability (e.g., IoT, Smart Homes, Multi-tenant datacenters, Satellite networks) that could benefit from secure programmable infrastructures
  • Incrementally deployable designs for secure programmable networks
  • Formal models for software-defined networking and programmable networks
  • Validation, verification, testing, and learning techniques for software-defined networking and programmable networks

Submission Instructions

Submissions must be original, unpublished work, and not under consideration at another conference or journal. LaTeX sources can be found at this link []. With older versions of this template, authors should use "10pt" in the documentclass command to ensure that the font size for all submitted papers is 10 points. The length of the submitted paper should be 6 pages, excluding references. Authors are welcome to include an appendix beyond the page limit, but the main paper should be self-contained. Paper submissions should not include author names or affiliations, and submissions will go through a double-blind reviewing process by the program committee. At least one author for each accepted paper is expected to present the paper at the workshop in person. We expect that at least some papers at FFSPIN would represent "work-in-progress" projects. Therefore, authors of published papers could choose to extend their work to full-length conference papers later.

Please submit your paper via

Important Dates

  • May 11, 2022 May 25, 2022

    Submission deadline

  • June 17, 2022

    Acceptance notification

  • July 1, 2022

    Camera-ready deadline

  • August 22, 2022



  • Keynote
  • Laurent Vanbever

    ETH Zurich

  • Program Committee Chairs
  • Diogo Barradas

    University of Waterloo

  • Alan (Zaoxing) Liu

    Boston University

  • Georgiana Caltais

    University of Twente

  • Steering Committee
  • Adrian Perrig

    ETH Zurich

  • Jennifer Rexford

    Princeton University

  • Cristina Nita-Rotaru

    Northeastern University

  • Vyas Sekar

    Carnegie Mellon University

  • Program Committee
  • H. B. Acharya

    Rochester Institute of Technology

  • Maria Apostolaki

    Carnegie Mellon University

  • Sambuddho Chakravarty

    IIT Delhi

  • Benjamin E. Ujcich

    Georgetown University

  • Shir Landau Feibish

    Open University of Israel

  • Devashish Gosain

    Max Planck Institute for Informatics

  • Theo Jepsen


  • Eric Keller

    University of Colorado, Boulder

  • Yixin Sun

    University of Virginia

  • Jiarong Xing

    Rice University

  • Amedeo Sapio

    Intel, Barefoot Switch Division

  • Salvatore Signorello

    Faculty of Sciences of the University of Lisbon

  • Xiaowei Yang

    Duke University

  • Mohammad Mousavi

    King’s College London

  • Hossein Hojjat

    Tehran Institute for Advanced Studies

  • Mina Arashloo

    Cornell University