2022 Proceeding- Conference Chairs:
- Diogo Barradas,
- Zaoxing Liu,
- Georgiana Caltais
The 3rd FFSPIN workshop (a joint effort between the previous SPIN and FoFoSDN workshops) 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.
Proceeding Downloads
IoT MUD enforcement in the edge cloud using programmable switch
Targeted data breaches and cybersecurity attacks involving IoT devices are becoming ever more concerning. To combat these threats and risks, the IETF standardized Manufacturer Usage Description (MUD), which allows IoT device vendors to specify the ...
PISketch: finding persistent and infrequent flows
- Zhuochen Fan,
- Zhoujing Hu,
- Yuhan Wu,
- Jiarui Guo,
- Wenrui Liu,
- Tong Yang,
- Hengrui Wang,
- Yifei Xu,
- Steve Uhlig,
- Yaofeng Tu
1Finding persistent and inactive activity periods is very helpful in practice, for example to detect intrusion activities. Most of the literature focuses on finding persistent flows or frequent flows. No previous work is able to find persistent and ...
Implementing ChaCha based crypto primitives on programmable SmartNICs
Control and management plane applications such as serverless function orchestration and 4G/5G control plane functions are offloaded to smartNICs to reduce communication and processing latency. Such applications involve multiple inter-host interactions ...
P4-DPLL: accelerating SAT solving using switching ASICs
People have been leveraging the capabilities of programmable switches, which are programmable in the data plane and process packets at the line rate, to improve the performance of distributed systems. However, few have explored whether programmable ...
- Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures