Currently, most network outages occur because of manual configuration errors. Therefore, it is essential to verify the correctness of network configurations before deployment. Computing the network control plane is a key technology for network configuration verification. We can verify the correctness of network configurations for fault tolerance by generating routing tables, as well as connectivity. However, existing routing table calculation tools have disadvantages such as lack of user-friendliness, limited expressiveness, and slower speed of routing table generation. In this paper, we present FastCAT, a framework for computing routing tables incorporating multiple protocols. FastCAT can simulate the interaction of multiple routing protocols and quickly generate routing tables based on configuration files and topology information. The key to FastCAT's performance is that FastCAT focuses only on the final stable state of the OSPF and IS-IS protocols, disregarding the transient states during protocol convergence. For RIPv2 and BGP, FastCAT computes the current protocol routing tables based on the protocol's previous state, retaining only the most recent protocol routing tables in the latest state. Experimental evaluations have shown that FastCAT generates routing tables more quickly and accurately than the state-of-the-art routing simulation tool, in a general network of around 200 routers.
To date, most criminal justice research on COVID-19 has examined the rapid spread within prisons. We shift the focus to reentry via in-depth interviews with formerly incarcerated individuals in central Ohio, specifically focusing on how criminal justice contact affected the pandemic experience. In doing so, we use the experience of the pandemic to build upon criminological theories regarding surveillance, including both classic theories on surveillance during incarceration as well as more recent scholarship on community surveillance, carceral citizenship, and institutional avoidance. Three findings emerged. First, participants felt that the total institution of prison "prepared" them for similar experiences such as pandemic-related isolation. Second, shifts in community supervision formatting, such as those forced by the pandemic, lessened the coercive nature of community supervision, expressed by participants as an increase in autonomy. Third, establishment of institutional connections while incarcerated alleviated institutional avoidance resulting from hyper-surveillance, specifically in the domain of healthcare, which is critical when a public health crisis strikes. While the COVID-19 pandemic affected all, this article highlights how theories of surveillance inform unique aspects of the pandemic for formerly incarcerated individuals, while providing pathways forward for reducing the impact of surveillance.