Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Houdini"”.
-
A Security Benchmarking Framework for Empirical Evaluation of Container Confinement
This thesis presents Houdini, a modular framework for empirically testing container confinement. Houdini executes scripted tests, called tricks, inside an isolated virtual machine to observe whether features like namespaces, cgroups, seccomp, and AppArmor are enforced at runtime. By simulating …
-
Learning inductive invariants using Winnow algorithm
… We compare our learning algorithm against Houdini and Sorcar by evaluating the algorithm on a subset of two different classes of benchmarks. The first class of benchmark is obtained from the GPUVerify tool, and the second class of benchmark is derived from Neider et al. (2018). On the …
-
Myths Of The House Theatre Of Chicago (2002-2007): A Dramaturgical Study Of Chicago's "next Big Thing"
… Terrible Tragedy of Peter Pan, Death and Harry Houdini, the three plays of The Valentine Trilogy and The Sparrow, this study aims to identify what elements are at work in The House's hero stories.</p>