id
name
processing priority
3
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2023-09-27 17:47:35
expired found date
-
created at
2024-06-06 20:54:10
updated at
2025-12-29 21:00:34
length
14
crc
61761
tld
2216
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
-
previous id
0
replaced with id
0
related id
-
dns primary id
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
13087
mp size raw text
6829
mp inner links count
16
mp inner links status
20 (imported)
title
Nadim Kobeissi
description
I do research work in applied cryptography more specifically and in computer security more generally. Currently, my main research and software project is Verifpal, and my occupation is running a small
site name
Nadim Kobeissi
author
Nadim Kobeissi
updated
2025-12-17 15:13:51
raw text
Nadim Kobeissi: Home Nadim Kobeissi Hello, and welcome to my personal website. In short, I am a person living in France who is very much into computers. I am professionally involved in applied cryptography and in computer security research. I've also developed a well-received puzzle game for Nintendo Switch and Steam, and write a fair amount of software. My life largely centers around computers, applied security research and development, video game history and culture, and also running (I'm trying to run a half-marathon in under two hours before the end of 2023.) 2018— : I founded Symbolic Software , a Paris-based applied cryptography team that offered offers security audits, cryptographic protocol design and formal verification services. Symbolic Software has completed and delivered over 250 software and cryptographic audits for clients all around the world and also publishes well-known research software for applied cryptographers. In September 2022, Symbolic Software publi...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
2025110801
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
5356
text words
943
text unique words
470
text lines
120
text sentences
61
text paragraphs
10
text words per sentence
15
text matched phrases
4
text matched dictionaries
8
links self subdomains
0
links other subdomains
12 - hal.inria.fr, prosecco.gforge.inria.fr, eprint.iacr.org, mastodon.symbolic.software
links other domains
11 - symbolic.software, drkobushi.com, computerscience.paris, verifpal.com, noiseexplorer.com, piccolo.click, cryptography.fm, are.na, formatforest.com
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
0
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
8 - youtube.com, youtu.be, flickr.com, linkedin.com, twitter.com, facebook.com, bsky.app
links ext klim
0
links ext generic
1
dol status
0
dol updated
2025-12-17 15:13:51
rss path
rss status
32 (unknown)
rss found date
2023-12-30 19:29:06
rss size orig
214634
rss items
16
rss spam phrases
1
rss detected language
1 (English)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
1
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
-
sitemap first import date
-
sitemap last import date
-