Record · corpus.blog/posts/01a0878e-a06d-70ba-9b50-31a98b17e8d6

Research Opportunities

joaoff.com · published 26 December 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at joaoff.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 30
Words captured: 735

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://joaoff.com/

joaoff.com

https://sr-lab.github.io

sr-lab.github.io

https://www.fct.pt/index.phtml.en

fct.pt

https://www.linkedin.com/in/nuno-saavedra

linkedin.com

https://github.com/sr-lab/GLITCH

github.com

GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code Read at the source ↗

joaoff.com

Reliable DevOps Read at the source ↗

joaoff.com

https://www.linkedin.com/in/henrique-guerra-6446641a8

linkedin.com

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution Read at the source ↗

joaoff.com

https://www.linkedin.com/in/carolina-carreira-72595449

linkedin.com

https://www.linkedin.com/in/pedrocrvz

linkedin.com

https://github.com/smartbugs/smartbugs

github.com

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts Read at the source ↗

joaoff.com

Smartbugs Read at the source ↗

joaoff.com

https://www.linkedin.com/in/thomas-hayton-96117384

linkedin.com

Narrative Planning Model Acquisition from Text Summaries and Descriptions Read at the source ↗

joaoff.com

https://sauljohnson.com

sauljohnson.com

https://sr-lab.github.io/password-quality

sr-lab.github.io

Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules Read at the source ↗

joaoff.com

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection Read at the source ↗

joaoff.com

https://joaoff.com/publication

joaoff.com

https://joaoff.com/project

joaoff.com

https://joaoff.com/opportunities/inesc_hu80cac2c37122863e371e9e15a7c6f53b_19961_2000x2000_fit_q90_lanczos.jpg

joaoff.com

https://joaoff.com/opportunities/lisbon1_hu16ce88ea58975d2067f6e8db37b56baa_291012_2000x2000_fit_q90_lanczos.jpg

joaoff.com

https://en.wikipedia.org/wiki/Lisbon

en.wikipedia.org

https://en.wikipedia.org/wiki/Tourism_in_Lisbon

en.wikipedia.org

https://www.visitportugal.com/en/destinos/lisboa-regiao

visitportugal.com

https://joaoff.com/opportunities/cascais_hu3d03a01dcc18bc5be0e67db3d8d209a6_261799_2000x2000_fit_q90_lanczos.jpg

joaoff.com

https://en.wikipedia.org/wiki/Braga

en.wikipedia.org

https://joaoff.com/opportunities/bomjesus_hu6a827443a632d2d709637845660b08e9_83054_2000x2000_fit_q90_lanczos.jpg

joaoff.com