Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures

查看最新文献

Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures - 最新文献

IoT MUD enforcement in the edge cloud using programmable switch

Pub Date : 2022-08-22 DOI: 10.1145/3528082.3544832 A. HarishS., Hemanth Kothapalli, Shubham Lahoti, Kotaro Kataoka, Praveen Tammana

PISketch

Pub Date : 2022-08-22 DOI: 10.1145/3528082.3544834 Zhuochen Fan, Zhoujing Hu, Yuhan Wu, Jiarui Guo, Wenrui Liu, Tong Yang, Hengrui Wang, Yifei Xu, Steve Uhlig, Yaofeng Tu

P4-DPLL: accelerating SAT solving using switching ASICs

Pub Date : 2022-08-22 DOI: 10.1145/3528082.3544835 Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, J. Shu

查看全部

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。