Nicolò Altamura's Website on

ptxNinja is an architectural plugin that extends the functionality of Binary Ninja to support *.ptx files containing functions or kernels written in PTX.

Obfuscation Analysis is a Binary Ninja plugin designed to improve the readability of protected binaries once the relevant code regions have been identified.

Building your own set of analysis tools is a great exercise for those who already have some basics and allows you to later move on to implement more targeted analyses in reverse engineering.

Interactive PDF Analysis (also called IPA) allows any researcher to explore the inner details of any PDF file.

The control-flow graph is an important building block in static program analysis for applying a variety of analyses that consider the flow of a program.

FairPlay comprises a set of algorithms created by Apple for digital rights management (also called DRM, digital rights management).

With this article I want to summarize some details I found while analyzing McAfee Virus Scan software, historically speaking, it is one of the first commercial antivirus.

POCKET is a program for applying transformations to obfuscate any expression through Mixed Boolean Arithmetic via a set of pre-computed transformations.

Code obfuscation is the technique of applying transformations to a code to make any static analysis (automatic or otherwise) more difficult and more complex.

A new version of MicroSCOPE has been released.

MicroSCOPE is a command-line software that is used to statically analyze any ELF (*nix) or PE (Windows) binary program.

A new version of MicroSCOPE has been released.

OSLab contains the source files for Hugo to build the HTML documentation in Italian for the course Operating Systems, academic year 2021-2022, lab part.

Hugo1 is a static site generation tool written in Go.

Assume we have the following code: t := time.Now() fmt.Println(t.Format("yyyyMMddHHmmss")) how may we format the date in the go-lang format: yyyyMMddHHmmss?

I’m a security engineer at Emproof, working in the software protection field.

While studying operating systems, I found an important resource called The Little Book of Semaphores that illustrates several examples of concurrent programming exercises, particularly on semaphores.

For the Operating Systems lab, it has been requested to start to autonomously compile MentOS1, Mentoring Operating System, a “hobbyist” operating system developed by some students of the University of Verona.

Don’t have a clue what Git is?

Among the many concepts (and pre-concepts) of computer science, one paradigm in particular has always fascinated me: illusion.

Hello World.