proving _anything_ in the Coq proof assistant (in addition to code execution). « coqchk » passes...
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
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
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?
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
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 !
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
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
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
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
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...


