NSA Releases Guidance on Mitigating Malicious Activity from Bulletproof Hosting Provider Infrastructure

The National Security Agency (NSA) is joining the Cybersecurity and Infrastructure Security Agency (CISA) and others to release the Cybersecurity Information Sheet (CSI), “Bulletproof Defense: Mitigating Risks from Bulletproof Hosting Providers,” to provide internet service providers (ISPs) and network defenders recommendations to mitigate potential cybercriminal activity enabled by bulletproof hosting (BPH) providers.

Submitted by Regan Williams on Tue, 12/02/2025 - 13:37

Call for Papers: ECOOP 2026

Call for Papers
40th European COnference On Programming (ECOOP 2026)
June 29 - July 3, 2026 Brussels, Belgium
https://2026.ecoop.org/

Submitted by Regan Williams on Tue, 11/18/2025 - 11:09

Call for Papers: MDE4SA ’26 Workshop

CALL FOR PAPERS - MDE4SA ’26 Workshop
5th edition of the Model–Driven Engineering for Software Architecture (MDE4SA '26) workshop
Location: Amsterdam, Netherlands (co-located with ICSA 2026)
Dates: June 22 – June 26, 2026 (exact workshop dates to be decided)
Workshop website: https://mde4sa.github.io/

Submitted by Regan Williams on Tue, 11/18/2025 - 11:03

Four Industrial Control Systems Advisories Released by CISA

CISA released four Industrial Control Systems (ICS) Advisories. These advisories provide timely information about current security issues, vulnerabilities, and exploits surrounding ICS.

Submitted by Regan Williams on Wed, 11/12/2025 - 10:32

CISA Adds Three Known Exploited Vulnerabilities to Catalog

CISA has added three new vulnerabilities to its Known Exploited Vulnerabilities (KEV) Catalog, based on evidence of active exploitation.

Submitted by Regan Williams on Wed, 11/12/2025 - 10:29

MODELSWARD 2026

Read more about MODELSWARD 2026

The International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of systems. Model-based software engineering has emerged over many years as an approach for developing IT systems in which models take a central role, not only for the analysis of these systems but also for their construction.

28th Brazilian Symposium on Formal Methods (SBMF’25)

Read more about 28th Brazilian Symposium on Formal Methods (SBMF’25)

We are pleased to invite you to participate in the 28th Brazilian Symposium
on Formal Methods (SBMF’25), which will be held at the
Northeast Strategic Technologies Center – CETENE, Brazil, from December
02-05, 2025.

ERSA'25

Read more about ERSA'25

4th International Workshop on Explainability of Real-time Systems and their Analysis (ERSA 2025) at the IEEE Real-Time Systems Symposium (RTSS 2025) in Boston, MA, USA. Today, almost all verification techniques provide answers to questions but do not provide explanations. We will address that.

Assurance and Security for AI-enabled Systems 2026

Read more about Assurance and Security for AI-enabled Systems 2026

This conference will broadly focus on AI assurance and security and associated risks stemming from a variety of factors depending on use context, including AI system safety, equity, reliability, interpretability, robustness, privacy, and governability.

SEAMS 2026

Read more about SEAMS 2026

SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection.

Subscribe to