Even though myths have an imaginative component that frequently clashes with logical thinking, their symbolism often resonates with our collective unconscious. The divine inspiration that propels mythological heroes towards the noblest and highest ideals also carries the risk of taunting the jealousy of the gods. This may culminate in fatal results as has happened to Remus when he overstepped t...

Botnets are one of the main aggressive threats against cybersecurity. To evade the detection systems, recent botnets use the most common communication protocols on the Internet to hide themselves in the legitimate users traffic. From this perspective, most recent botnets are HTTP based and/or Peer-to-Peer (P2P) systems. In this work, we investigate whether such structural differences have any i...

The Iterative Deepening algorithm allows stateless model checkers to adjust preemption points on-the-fly. It uses dynamic data-race detection to avoid necessarily preempting on every shared memory access, and ignores false-positive data race candidates arising from certain heap allocation patterns. An Iterative Deepening test that reaches completion soundly verifies all possible thread interlea...