proving _anything_ in the Coq proof assistant (in addition to code execution). « coqchk » passes...

0
Posted by Georgi Guninski on May 03proving _anything_ in the Coq proof assistant (in addition to code execution). ``coqchk'' passes too if some poor soul...

security in 2011

0
Posted by Oliver Pinter on Jul 02http://websvn.kde.org/trunk/KDE/kdenetwork/krfb/libvncserver/vncauth.c?view=markup Source: security in 2011

Jcow 4.2.1 Local File Inclusion

0
A local file inclusion vulnerability in Jcow version 4.2.1 can be exploited to include arbitrary files. Source: Jcow 4.2.1 Local File Inclusion

Re: Computer name should match with your real identity?

0
Posted by Michael Holstein on Apr 29You are free to reject corporate policy as you see fit. Your personal effects will be at the security...

Debian Security Advisory 2259-1

0
Debian Linux Security Advisory 2259-1 - It was discovered that fex, a web service for transferring very large, files, is not properly validating authentication...

Cybercrime : Quand des pirates se volent entre eux !

2
Les chercheurs de Cybereason Nocturnus ont mis à jour une campagne massive de piratage qui sort de l’ordinaire ! En effet, un groupe de cybercriminels volent les données piratées par les autres pirates en piégeant les outils de piratage disponibles sur le Dark Web avec un trojan.

Red Hat Security Advisory 2011-0870-01

0
Red Hat Security Advisory 2011-0870-01 - The IBM 1.4.2 SR13-FP9 Java release includes the IBM Java 2 Runtime Environment and the IBM Java 2...

Microsoft released Security Patch for CVE-2013-5065 TIFF Zero-Day vulnerability

0
Microsoft has released 11 Security Patch this Tuesday, including one for CVE-2013-5065 zero-day vulnerability, recently discovered Local privilege escalation vulnerability that could allow a hacker to launch an attack using corrupted...

www.brancopelle.com XSS

0
Cr4t3r has discovered a vulnerability in www.brancopelle.com, which could be exploited by malicious people to conduct XSS attacks. Source: www.brancopelle.com XSS

Ubuntu Security Notice USN-1160-1

0
Ubuntu Security Notice 1160-1 - Dan Rosenberg discovered that IRDA did not correctly check the size of buffers. On non-x86 systems, a local attacker...