Submissions from inesc-id.pt

		Flexible and Low-Cost HSM Based on Non-Volatile FPGAs [pdf] (inesc-id.pt)
		1 point by wslh on July 27, 2023 \| past
		Large-Scale Geo-Replicated Conflict-Free Replicated Data Types [pdf] (inesc-id.pt)
		14 points by simonebrunozzi on Nov 10, 2020 \| past
		From Crash to Byzantine Consensus with 2f+1 Processes (inesc-id.pt)
		3 points by wslh on May 22, 2019 \| past
		Parallelization of SAT Algorithms on GPUs [pdf] (inesc-id.pt)
		65 points by setra on Feb 17, 2017 \| past \| 18 comments
		HyParView: a membership protocol for reliable gossip-based broadcast (2007) [pdf] (inesc-id.pt)
		6 points by ch on Dec 6, 2015 \| past
		Accepted Papers — SOCC2011 (inesc-id.pt)
		2 points by LiveTheDream on July 22, 2011 \| past