Explore >> Select a destination
|
You are here 
|
blog.sigplan.org | ||
| | | | |
popl24.sigplan.org
|
|
| | | | | Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. | |
| | | | |
www.sonatype.com
|
|
| | | | | Learn about a new, targeted backdoor supply chain attack against the popular XZ compression utility seen in many Linux distributions such as fedora and debian. Understand its impact, potential risks and what you can do about it. | |
| | | | |
blog.adnansiddiqi.me
|
|
| | | | | Image Source What Is Application Security? Application security is the practice of protecting computer systems and applications from threats and vulnerabilities. This includes measures to prevent unauthorized access, modification, use, destruction, disruption, or disclosure of an application or its data Application security is important because applications are often the primary targets of cyber attacks. Hackers | |
| | | | |
berthub.eu
|
|
| | | This is a living document - I'd normally spend a few days polishing everything, but since CRA talks are ongoing right now, there's simply no time for that. Check back frequently for updates! Also please let me know urgently on bert@hubertnet.nl if you think I'm reading things incorrectly! As a follow-up to my earlier post on the EU Cyber Resilience Act, here I'd like to address some practicalities: how would it actually work. | ||
