You might be interested by the Tillltis TKey - it's an open-source open-hardware programmable-by-the-user secure element.