Security of RSA and Integer Factorization

Há 6 anos 4412 Visualizações

Requirements driven Model-based Testing

Há 6 anos 325 Visualizações

Automated Traceability for Software Engineering Tasks

Há 6 anos 400 Visualizações

RSA cracking puzzle

Há 6 anos 2509 Visualizações

On deriving the private key from a public key

Há 6 anos 3047 Visualizações

Software Architecture

Há 6 anos 17963 Visualizações

Integer security analysis using smt solver

Há 6 anos 828 Visualizações

Remote file path traversal attacks for fun and profit

Há 6 anos 1251 Visualizações

Exploiting Cryptographic Misuse - An Example

Há 7 anos 1249 Visualizações

Linux binary analysis and exploitation

Há 7 anos 1081 Visualizações

Load-time Hacking using LD_PRELOAD

Há 10 anos 2893 Visualizações

Interface-Implementation Contract Checking

Há 10 anos 604 Visualizações

Ivv workshop model-based-testing-of-nasa-systems

Há 10 anos 618 Visualizações

Reverse Engineering of Software Architecture

Há 11 anos 4938 Visualizações

Explaining my Phd Thesis to layman

Há 11 anos 702 Visualizações