Intrusion Detection based upon learning methods is an attractive approach in research community. These researches have two critical concerns: secure information gathering and accurate detection method. Here we used system calls together with their arguments as a suitable pattern for describing behavior of each process. In security applications, these patterns must be collected safely, so we pro...

This study looks at perceptions of safety and danger regarding crime in Medellín, Colombia. I used two different datasets to look at this issue in both the specific situations that incite fear of crime and in the broader context of perceived safety and danger across the city as a whole. The first dataset comes from 42 interviews that I conducted with university students in May of 2009. The inte...

Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Fundamentally, such analysers summarise traces into sets of states, thus trading the ability to distinguish traces for computational tractability. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample, which can ...