https://www.law.cornell.edu/uscode/text/18/2232

is what he was charged with (a)

see also: https://en.wikipedia.org/wiki/Border_search_exception

> seems like a stretch though

I think the issue will fall on whether the encrypted data on the device (or its decrypted counterpart) counts as property. The rest looks pretty clear-cut to me.