nets-cs-pub-ro
The Nets group - Computer Science and Engineering Department - University POLITEHNICA of Bucharest
Pinned Repositories
fastclick
FastClick - A faster version the Click Modular Router featuring an improved Netmap support and an improved DPDK support
General
mptcp-smkex
NDP
NDP datacenter stack
nettalks
NetTalks
smkex
Secure Multipath Key Exchange
ss5
Symnet
unikraft-hackathon
Unikraft hackathon resources
Vera
P4 verifier using symbolic execution.
nets-cs-pub-ro's Repositories
nets-cs-pub-ro/NDP
NDP datacenter stack
nets-cs-pub-ro/Symnet
nets-cs-pub-ro/mptcp-smkex
nets-cs-pub-ro/unikraft-hackathon
Unikraft hackathon resources
nets-cs-pub-ro/fastclick
FastClick - A faster version the Click Modular Router featuring an improved Netmap support and an improved DPDK support
nets-cs-pub-ro/nettalks
NetTalks
nets-cs-pub-ro/Vera
P4 verifier using symbolic execution.
nets-cs-pub-ro/General
nets-cs-pub-ro/smkex
Secure Multipath Key Exchange
nets-cs-pub-ro/ss5
nets-cs-pub-ro/android-jmdns
Example of direct communication between two devices using JmDNS for Android.
nets-cs-pub-ro/AndroidDnssdDemo
Example use of Dnssd discovery on Android (using jmdns)
nets-cs-pub-ro/iptables-sefl
The iptables to SEFL (Symbolic Execution Friendly Language) translator.
nets-cs-pub-ro/nets-cs-pub-ro.github.io