Latest researchEvidence window ending 2026-06-26

Latest Security and Verification in Computing research

Scollr indexed 472 new Security and Verification in Computing papers in the last 30 days and 1,236 in the last 90 days. Browse the most relevant recent papers below, then follow the topic in the app to turn this into a personalized research feed.

Recent papers

Latest Security and Verification in Computing papers

The most relevant recent papers Scollr indexed in this topic, ranked by topic relevance, citations, and recency.

No recent papers in the current window yet.

Follow Security and Verification in Computing in the app to be notified as new papers are indexed, and browse the wider research feed in the meantime.

Browse recent papers
What is changing

What is changing in Security and Verification in Computing

Daily publication volume across the last 30 days, drawn from Scollr's indexed literature.

472last 30 days
764previous 60 days
472recent papers with abstracts
Active authors

Active authors in Security and Verification in Computing

Researchers publishing the most papers in this topic across the last 90 days.

Emmanuel Baccelli

5 recent papers

Jianyu Niu

5 recent papers

Lars Birkedal

5 recent papers

Yinqian Zhang

5 recent papers

Bastien Buil

4 recent papers

Chrystel Gaber

4 recent papers

FAQ

Keeping up with Security and Verification in Computing research

How do I keep up with new Security and Verification in Computing research?

Follow Security and Verification in Computing in Scollr. New papers in the topic flow into a personalized feed, and you can save the studies worth reading without setting up email alerts. This page also lists the most relevant recent papers so you can scan what changed at a glance.

What are the latest Security and Verification in Computing papers?

The recent papers section above is rebuilt continuously from Scollr's indexed literature, ranked by topic relevance, citations, and recency. Each links to its full record so you can read the abstract and follow the authors and sources behind it.

How do I find related work in Security and Verification in Computing?

Open any paper and build a literature map to see its references, citing papers, and related research in one workspace. The related topics list on this page also routes you into adjacent research areas Scollr tracks.