MENU

Software Security

Software Security
LLMs used to code can introduce serious errors
LLMs used to code can introduce serious errors
Technology News |
UTSA researchers have shown how hallucinations in LLMs can be used to install malware and create security risks in code.
TrustInSoft aligns with CISA initiative on C/C++ vulnerabilities
TrustInSoft aligns with CISA initiative on C/C++ vulnerabilities
Technology News |
TrustInSoft Analyzer supports software security efforts by CISA with tools that mathematically prove the absence of memory-related vulnerabilities in C/C++.
TrustInSoft Analyzer enables faster, smarter automated verification
TrustInSoft Analyzer enables faster, smarter automated verification
Technology News |
Latest analyser delivers mathematical precision and world-class security for verification, coupled with a compelling user interface.
Expert-driven formal verification services for C/C++
Expert-driven formal verification services for C/C++
Business news |
Formal verification services from TrustInSoft enhance software security and reliability through on-demand comprehensive analysis…

AI threat hunting bot proactively detects security events
AI threat hunting bot proactively detects security events
New Products |
Cybersecurity company LogicHub has announced the launch of what it says is the industry’s first solution to apply AI-driven threat hunting bots to proactively detect threats, anomalies, and attacks from…
Hypervisor software speeds development of secure medical devices
Hypervisor software speeds development of secure medical devices
New Products |
Software company BlackBerry has announced the release of the latest edition of its safety-certified, real-time embedded hypervisor product for medical products.
Collaboration improves security for software in connected cars


Collaboration improves security for software in connected cars


Business news |
IIJ Global and Excelfore security integrates cybersecurity certificates for WP.29 compliance for OTA installation and updates.


10s