Возраст домена | 10 лет |
Дата окончания | Истек срок регистрации |
ИКС | 10 |
Страниц в Google | 25 |
Страниц в Яндексе | n/a |
Dmoz | Нет |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 4216150 |
Alexa Country | Нет данных |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
Nadim Kobeissi
n/a
Nadim Kobeissi's personal homepage.
UTF-8
10.42 КБ
414
3 420 симв.
2 927 симв.
Идет сбор информации... Обновить
Идет сбор информации... Обновить
Данные linkpad ( 9 Августа 2017 ) | |
Количество ссылок на сайт | 92 |
Количество доменов, которые ссылаются на сайт | 34 |
Количество найденных анкоров | 21 |
Исходящие (внешние) ссылки домена | 0 |
Количество доменов, на которые ссылается сайт | 0 |
Количество исходящих анкоров | 0 |
Внешние ссылки главной страницы ( 32 ) | |
nyu.edu/paris.html | NYU Paris |
symbolic.software | Symbolic Software |
hal.inria.fr/tel-01950884 | Formal Verification for Real-World Cryptographic Protocols and Implementations |
prosecco.gforge.inria.fr | Team PROSECCO |
computerscience.paris/security | CSCI-UA.9480 |
computerscience.paris/structures | CSCI.UA-9102 |
noiseexplorer.com | Noise Explorer |
noiseprotocol.org | Noise |
diskgem.info | DiskGem |
maze.cafe | Maze Café |
kaepora.github.io/nadimtris/ | Nadimtris |
kaepora.github.io/cnnctfr/ | CNNCTFR |
nadim.micro.blog/2019/04/11/selfies-reflections-on.html | Selfie's Reflections on TLS 1.3: Largely Opaque |
nadim.micro.blog/2018/10/26/repairing-a-thinkpad.html | Repairing a ThinkPad with a Corrupt Thunderbolt Firmware Chip |
nadim.micro.blog/2019/04/10/on-encryption-and.html | On Encryption and Terrorists |
usenix.org/conference/usenixsecurity19 | EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats |
eprint.iacr.org/2018/766 | Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols |
eprint.iacr.org/2018/1121 | An Analysis of the ProtonMail Cryptographic Architecture |
eprint.iacr.org/2018/416 | Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers |
hal.inria.fr/hal-01528752 | Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate |
hal.inria.fr/hal-01397439v3 | Formal Modeling and Verification for Domain Validation and ACME |
hal.inria.fr/hal-01575923 | Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach |
hal.inria.fr/hal-01400469 | Formal Verification of Smart Contracts |
youtube.com/watch?v=ZrcdDJhbPKQ | Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols |
memento.epfl.ch/event/capsule-a-protocol-for-secure-collabor... | Capsule: A Protocol for Secure Collaborative Document Editing |
eprint.iacr.org/2018/253 | draft |
psvg.doc.ic.ac.uk/slides/Towards_Formal_Verification_in_Cryp... | Bringing Formal Verification to the Real Web: Three Years of Interconnected Work |
drive.google.com/drive/folders/1kfn6jLpz5HuzcHQig4DFpdbAFb1v... | Photos I‘ve taken |
are.na/nadim-kobeissi/paint--2 | Gallery of favourite paintings |
youtube.com/watch?v=rEGOihjqO9w | Pianoconcerto no.2 op.18 |
github.com/kaepora | kaepora |
statcounter.com/ | <img> |
Внутренние ссылки главной страницы ( 8 ) | |
index.html | Nadim Kobeissi |
disk.nadim.computer/docs/OWASP18.pdf | Formal Verification for Cryptographic Systems in Web Applications |
disk.nadim.computer/music/theWorldRevolving.m4a | The World Revolving |
disk.nadim.computer/music/ouroboros.mp3 | Ouroboros (Brass Rendition) |
disk.nadim.computer/music/mutantStandard.m4a | Mutant Standard |
disk.nadim.computer/music/beirut.m4a | Beirut |
disk.nadim.computer/music/desertOfIce.mp3 | Desert of Ice |
disk.nadim.computer/music/formatAndJourneyNorth.m4a | Format & Journey North |
Domain Name: nadim.computer
Registry Domain ID: bade45334136472f84c68c0c74d1f954-DONUTS
Registrar WHOIS Server: whois.1api.net
Registrar URL: http://www.1api.net
Updated Date: 2018-03-04T15:55:09Z
Creation Date: 2014-03-19T16:00:02Z
Registry Expiry Date: 2018-03-19T16:00:02Z
Registrar: 1API GmbH
Registrar IANA ID: 1387
Registrar Abuse Contact Email: abuse@1api.net
Registrar Abuse Contact Phone: 0049.6841.6984-200
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: 46875753f98640c297fb3186280b2402-DONUTS
Registrant Name: c/o WHOIStrustee.com Limited
Registrant Organization: Registrant of nadim.computer
Registrant Street: 6 Thornes Office Park Monckton Road
Registrant City: Wakefield
Registrant State/Province: West Yorkshire
Registrant Postal Code: WF2 7AN
Registrant Country: GB
Registrant Phone: +49.68416984300
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email: 94a844e13c@nadim.computer.whoistrustee.com
Registry Admin ID: 46875753f98640c297fb3186280b2402-DONUTS
Admin Name: c/o WHOIStrustee.com Limited
Admin Organization: Registrant of nadim.computer
Admin Street: 6 Thornes Office Park Monckton Road
Admin City: Wakefield
Admin State/Province: West Yorkshire
Admin Postal Code: WF2 7AN
Admin Country: GB
Admin Phone: +49.68416984300
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email: 94a844e13c@nadim.computer.whoistrustee.com
Registry Tech ID: 46875753f98640c297fb3186280b2402-DONUTS
Tech Name: c/o WHOIStrustee.com Limited
Tech Organization: Registrant of nadim.computer
Tech Street: 6 Thornes Office Park Monckton Road
Tech City: Wakefield
Tech State/Province: West Yorkshire
Tech Postal Code: WF2 7AN
Tech Country: GB
Tech Phone: +49.68416984300
Tech Phone Ext:
Tech Fax:
Tech Fax Ext:
Tech Email: 94a844e13c@nadim.computer.whoistrustee.com
Name Server: ns1.iwantmyname.net
Name Server: ns2.iwantmyname.net
Name Server: ns3.iwantmyname.net
Name Server: ns4.iwantmyname.net
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2018-03-08T11:21:48Z <<<
For more information on Whois status codes, please visit https://icann.org/epp
Terms of Use: Users accessing the Donuts WHOIS service must agree to use the data only for lawful purposes, and under under no circumstances use the data to: Allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the registrar's own existing customers. Enable high volume, automated, electronic processes that send queries or data to the systems of Donuts or any ICANN-accredited registrar, except as reasonably necessary to register domain names or modify existing registrations. When using the Donuts Whois service, please consider the following: The Whois service is not a replacement for standard EPP commands to the SRS service. Whois is not considered authoritative for registered domain objects. The Whois service may be scheduled for downtime during production or OT&E maintenance periods. Queries to the Whois services are throttled. If too many queries are received from a single IP address within a specified time, the service will begin to reject further queries for a period of time to prevent disruption of Whois service access.
Франция - Рубе - 167.114.239.2
RunAbove
OVH Hosting
HTTP/1.1 200 OK
Server: nginx/1.16.0
Date: Tue, 14 May 2019 17:00:23 GMT
Content-Type: text/html
Content-Length: 10670
Last-Modified: Thu, 09 May 2019 17:40:42 GMT
Connection: keep-alive
ETag: "5cd4661a-29ae"
Strict-Transport-Security: max-age=15768000
X-Frame-Options: SAMEORIGIN
Accept-Ranges: bytes
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"